Univalence and completeness of Segal objects

DOI10.1016/j.jpaa.2022.107254zbMath1502.18048arXiv1911.06640OpenAlexW4309138098MaRDI QIDQ2104885

Raffael Stenzel

Publication date: 8 December 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Segal objectsunivalent type theory

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Categorical semantics of formal languages (18C50) Simplicial sets, simplicial objects (18N50) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (1)

Yoneda lemma for simplicial spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Homotopy theory of cocomplete quasicategories
• Generalized algebraic theories and contextual categories
• Function complexes in homotopical algebra
• Comprehension categories and the semantics of type dependency
• Categorical logic and type theory
• Univalent completion
• Quasicategories of frames of cofibration categories
• Weighted limits in simplicial homotopy theory
• Internal languages of finitely complete \((\infty , 1)\)-categories
• Towards an axiomatization of the theory of higher categories
• The Local Universes Model
• Homotopy-Theoretic Models of Type Theory
• A model for the homotopy theory of homotopy theory
• Higher Categories and Homotopical Algebra
• Comparison of models for (∞,n)‐categories, II
• A model structure on internal categories in simplicial sets
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• Univalent categories and the Rezk completion
• Univalence for inverse diagrams and homotopy canonicity

This page was built for publication: Univalence and completeness of Segal objects