Univalence and completeness of Segal objects
From MaRDI portal
Publication:2104885
Categorical semantics of formal languages (18C50) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) ((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)
Abstract: Univalence, originally a type theoretical notion at the heart of Voevodsky's Univalent Foundations Program, has found general importance as a higher categorical property that characterizes descent and hence classifying maps in -categories. Completeness is a property of Segal spaces introduced by Rezk that characterizes those Segal spaces which are -categories. In this paper, first, we make rigorous an analogy between univalence and completeness that has found various informal expressions in the higher categorical research community to date, and second, study its ramifications. The core aspect of this analogy can be understood as a translation between internal and external notions, motivated by model categorical considerations of Joyal and Tierney. As a result, we characterize the internal notion of univalence in logical model categories by the external notion of completeness defined as the right Quillen condition of suitably indexed Set-weighted limit functors. Furthermore, we extend the analogy and show that univalent completion in the sense of van den Berg and Moerdijk translates to Rezk-completion of associated Segal objects as well. Motivated by these correspondences, we exhibit univalence as a homotopical locality condition whenever univalent completion exists.
Recommendations
- Towards an axiomatization of the theory of higher categories
- Univalence in locally Cartesian closed categories
- A Cartesian presentation of weak \(n\)-categories
- Univalent categories and the Rezk completion
- Quasi-categories vs. Segal spaces: Cartesian edition
- Elements of \(\infty\)-category theory
- From fractions to complete Segal spaces
- A model for the homotopy theory of homotopy theory
- A model category structure on the category of simplicial categories
- A Survey of (∞, 1)-Categories
Cites work
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- A model for the homotopy theory of homotopy theory
- A model structure on internal categories in simplicial sets
- Categorical logic and type theory
- Comparison of models for (∞,n)‐categories, II
- Comprehension categories and the semantics of type dependency
- Function complexes in homotopical algebra
- Generalized algebraic theories and contextual categories
- Higher Topos Theory (AM-170)
- Higher categories and homotopical algebra
- Homotopy theory of cocomplete quasicategories
- Homotopy type theory. Univalent foundations of mathematics
- Homotopy-theoretic models of type theory
- Internal languages of finitely complete \((\infty , 1)\)-categories
- Quasicategories of frames of cofibration categories
- The local universes model: an overlooked coherence construction for dependent type theories
- Towards an axiomatization of the theory of higher categories
- Univalence for inverse diagrams and homotopy canonicity
- Univalent categories and the Rezk completion
- Univalent completion
- Weighted limits in simplicial homotopy theory
Cited in
(7)- Yoneda lemma for simplicial spaces
- Univalent completion
- The unambiguity of segmented morphisms
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- On existence of finite universal Korovkin sets in Segal algebras
- Internal sums for synthetic fibered \((\infty,1)\)-categories
- Univalent categories and the Rezk completion
This page was built for publication: Univalence and completeness of Segal objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104885)
