Univalence and completeness of Segal objects

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

STENZEL Raffael

Rok publikování 2023
Druh Článek v odborném periodiku
Časopis / Zdroj Journal of Pure and Applied Algebra
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://doi.org/10.1016/j.jpaa.2022.107254
Doi http://dx.doi.org/10.1016/j.jpaa.2022.107254
Klíčová slova Segal objects; Univalent type theory
Popis 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 (infinity, 1) -categories. Completeness is a property of Segal spaces introduced by Rezk that characterizes those Segal spaces which are (infinity, 1)-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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.