Algebraic models for higher categories

DOI10.1016/J.INDAG.2010.12.004MaRDI QIDQ716491zbMATH OpenOpenAlexFDO

Authors Thomas Nikolaus

Publication date 22 September 2011

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1003.1342

zbMATH Keywords

model categoriesQuillen equivalencefibrant objectshomotopy hypothesisinfinity groupoidsinfinity one categoriesKan complexesquasi-categories

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an algebraic model for oo-groupoids and algebraic quasi-categories as an algebraic model for (oo,1)-categories. We furthermore give an explicit proof of the homotopy hypothesis.

Recommendations

• Comparison of models for ( , n)-categories. I
• Geometric higher groupoids and categories
• Higher categories and homotopical algebra
• A Cartesian presentation of weak \(n\)-categories
• A Survey of (∞, 1)-Categories

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• A Survey of (∞, 1)-Categories
• A survey of definitions of \(n\)-category
• Batanin higher groupoids and homotopy types
• Cotorsion pairs and model categories
• Dendroidal sets
• Dendroidal sets as models for homotopy operads
• Higher Topos Theory (AM-170)
• Homotopical algebra
• Hypercovers and simplicial presheaves
• Quillen closed model structures for sheaves
• Understanding the small object argument
• Universal homotopy theories
• Weak complicial sets. I: Basic homotopy theory

Cited in

(26)

• Data structures for quasistrict higher categories
• Weak Cartesian properties of simplicial sets
• Bousfield localisation and colocalisation of one-dimensional model structures
• Iterated algebraic injectivity and the faithfulness conjecture
• Equipping weak equivalences with algebraic structure
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Model categories for orthogonal calculus
• Model categories and cubical descent
• Functional Kan simplicial sets: non-constructivity of exponentiation
• Algebraic models of cubical weak higher structures
• Categories as models on a suitable algebraic theory
• Towards a globular path object for weak \(\infty\)-groupoids
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• A model categorical approach to group completion of \(E_n\)-algebras
• ∞-Groupoids as a model for a homotopy category
• Accessible aspects of 2-category theory
• Algebraic K-Theory of ∞-Operads
• Left properness of flows
• Combinatorial and accessible weak model categories
• Geometric higher groupoids and categories
• A Quillen model structure for Gray-categories
• The effective model structure and \(\infty\)-groupoid objects
• An interpretation of dependent type theory in a model category of locally cartesian closed categories
• An algebraic definition of \((\infty, N)\)-categories
• scientific article; zbMATH DE number 3903554 (Why is no real title available?)
• A classification of Taylor towers of functors of spaces and spectra

This page was built for publication: Algebraic models for higher categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q716491)