scientific article; zbMATH DE number 7820356
From MaRDI portal
Publication:6194263
arXiv1805.03816MaRDI QIDQ6194263
Publication date: 19 March 2024
Full work available at URL: https://arxiv.org/abs/1805.03816
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40) 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)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Derived algebraic geometry
- Rigidification of quasi-categories
- Relative categories: another model for the homotopy theory of homotopy theories
- Fibration categories are fibrant relative categories
- Minimal fibrations of dendroidal sets
- Three models for the homotopy theory of homotopy theories
- A Cartesian presentation of weak \(n\)-categories
- Simplicial localizations of categories
- Univalence for inverse EI diagrams
- Formal category theory: Adjointness for 2-categories
- Homotopy invariant algebraic structures on topological spaces
- Reedy categories and the \(\varTheta\)-construction
- The simplicial model of univalent foundations (after Voevodsky)
- Quasi-categories vs. Segal spaces: Cartesian edition
- Cartesian fibrations and representability
- Categorical notions of fibration
- Yoneda lemma for complete Segal spaces
- Left fibrations and homotopy colimits
- Homotopical algebra
- Towards an axiomatization of the theory of higher categories
- On the structure of simplicial categories associated to quasi-categories
- A type theory for synthetic $\infty$-categories
- Elements of ∞-Category Theory
- A Survey of (∞, 1)-Categories
- A model category structure on the category of simplicial categories
- Complete Segal spaces arising from simplicial categories
- Vogt's theorem on categories of homotopy coherent diagrams
- A model for the homotopy theory of homotopy theory
- Introduction to bicategories
- Higher Categories and Homotopical Algebra
- Segal objects and the Grothendieck construction
- Fibrations of $\infty$-categories
- Higher Topos Theory (AM-170)
- The Geometric Realization of a Kan Fibration is a Serre Fibration
- Homotopy Associativity of H-Spaces. I
- Univalence for inverse diagrams and homotopy canonicity
- The univalence axiom for elegant Reedy presheaves
- Yoneda lemma for simplicial spaces
This page was built for publication:
