Algebraic models for higher categories

DOI10.1016/J.INDAG.2010.12.004zbMATH Open1236.55024arXiv1003.1342OpenAlexW1997146553MaRDI QIDQ716491FDOQ716491

Authors: Thomas Nikolaus 

Publication date: 22 September 2011

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

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.

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

Recommendations

• Comparison of models for \((\infty , 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

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)

Cites Work

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

Cited In (26)

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

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)