The Univalence Axiom in posetal model categories

DOI10.1093/LOGCOM/EXU022MaRDI QIDQ5262479zbMATH OpenOpenAlexWikidataFDO

Authors Misha Gavrilovich, Assaf Hasson, Itay Kaplan

Publication date 15 July 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

univalence axiomset theoryposetal model categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topological categories, foundations of homotopy theory (55U40)

Abstract: 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 $Ho{m}^{(w)}(ZimesB,C):QtlongrightarrowSets$ is functorial in $Z$ and represented in $Qt$ satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one.

Recommendations

• scientific article; zbMATH DE number 3957072
• Constructive models of uncountably categorical theories
• On the unicity of the theory of higher categories
• Univalence in locally Cartesian closed categories
• Unimodal category and the monotonicity conjecture
• Unification properties of commutative theories: a categorical treatment
• Univalent categories and the Rezk completion
• Bicategories in univalent foundations
• Bicategories in univalent foundations
• Uncountable categoricity for gross models

Cited in

(2)

• Univalence in locally Cartesian closed categories
• The univalence axiom for elegant Reedy presheaves

This page was built for publication: The Univalence Axiom in posetal model categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262479)