In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in which the mapping Hom(w)(Z×B,C):Qt→Sets is functorial in Z and represented inQt satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in , asking for a model of the Univalence Axiom not equivalent to the standard one.
Bibliographical notePublisher Copyright:
© 2015 The Author.
- Posetal model categories
- set theory
- univalence axiom