Cartesian factorization systems and pointed cartesian fibrations of ∞-categories

0552112 - MÚ 2022 RIV AU eng J - Journal Article
Lanari, Edoardo
Cartesian factorization systems and pointed cartesian fibrations of ∞-categories.
Higher Structures. Roč. 5, č. 1 (2021), s. 1-17. ISSN 2209-0606
Grant - others:AV ČR(CZ) AP1801
Program: Akademická prémie - Praemium Academiae
Institutional support: RVO:67985840
Keywords : homotopy theory * higher category theory
OECD category: Pure mathematics
Method of publishing: Open access
https://higher-structures.math.cas.cz/api/files/issues/Vol5Iss1/Lanari

The goal of this paper is to prove an equivalence between the (∞, 2)-category of cartesian factorization systems on ∞-categories and that of pointed cartesian fibrations of ∞-categories. This generalizes a similar result known for ordinary categories and sheds some light on the interplay between these two seemingly distant concepts.
Permanent Link: http://hdl.handle.net/11104/0327253