The effective model structure and -groupoid objects
From MaRDI portal
Publication:5866297
DOI10.1017/fms.2022.13zbMath1497.18033arXiv2102.06146OpenAlexW4285248263MaRDI QIDQ5866297
Nicola Gambino, Simon Henry, Karol Szumiło, Christian Sattler
Publication date: 13 June 2022
Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.06146
Simplicial sets and complexes in algebraic topology (55U10) Homotopical algebra, Quillen model categories, derivators (18N40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On equivariant homotopy theory for model categories
- Homotopy theory of cocomplete quasicategories
- Univalence in locally Cartesian closed categories
- Homotopical algebraic geometry. I: Topos theory
- Limits of small functors
- Sheaves in geometry and logic: a first introduction to topos theory
- Introduction to extensive and distributive categories
- Regular and exact completions
- Degeneracies in quasi-categories
- Univalent completion
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
- A characterization of the left exact categories whose exact completions are toposes
- Some free constructions in realizability and proof theory
- Boolean localization, in practice
- Reedy categories and the \(\varTheta\)-construction
- The Frobenius condition, right properness, and uniform fibrations
- The simplicial model of univalent foundations (after Voevodsky)
- Homotopy theory of relative simplicial presheaves
- Modules over operads and functors
- Homotopical algebra
- The theory and practice of Reedy categories
- Categorical Homotopy Theory
- Homotopy theoretic models of identity types
- Homotopy theory of small diagrams over large categories
- Systems of Fixed Point Sets
- Homotopy Theories for Diagrams of Spaces
- Hypercovers and simplicial presheaves
- A model for the homotopy theory of homotopy theory
- Extensional Constructs in Intensional Type Theory
- Quillen model structures for relative homological algebra
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Higher Topos Theory (AM-170)
- Abstract homotopy theory and generalized sheaf cohomology
- The Constructive Kan–Quillen Model Structure: Two New Proofs
- Simplicial homotopy theory
