Univalence for inverse EI diagrams

DOI10.4310/HHA.2017.V19.N2.A12zbMath1425.18005arXiv1508.02410MaRDI QIDQ1689738

Michael Shulman

Publication date: 17 January 2018

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.02410

zbMATH Keywords

homotopy type theoryunivalence axiomEI-categoryinverse category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Foundations, relations to logic and deductive systems (18A15)

Related Items (7)

Modalities in homotopy type theory ⋮ On a model invariance problem in homotopy type theory ⋮ The Interpretation Lifting Theorem for C-Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The homotopy theory of type theories ⋮ Semantics of higher inductive types

This page was built for publication: Univalence for inverse EI diagrams