The Univalence Axiom in posetal model categories

DOI10.1093/LOGCOM/EXU022zbMATH Open1334.03069arXiv1111.3489OpenAlexW2039608363WikidataQ114009715 ScholiaQ114009715MaRDI QIDQ5262479FDOQ5262479

Authors: Misha Gavrilovich, Assaf Hasson, Itay Kaplan 

Publication date: 15 July 2015

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

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.

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

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

zbMATH Keywords

univalence axiomset theoryposetal model categories

Mathematics Subject Classification ID

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

Cited In (2)

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

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)