Iterated algebraic injectivity and the faithfulness conjecture

MaRDI QIDQ5149953zbMATH OpenFDO

Authors John Bourke

Publication date 9 February 2021

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

zbMATH Keywords

algebraic injectivefaithfulness conjectureglobular theory

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) 2-categories, bicategories, double categories (18N10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or operations of greater complexity) then it is natural to consider iterated algebraic injectives, which we introduce and study in the present paper. Our main application concerns Grothendieck's weak $omega$-groupoids, introduced in Pursuing Stacks, and the closely related definition of weak $omega$-category due to Maltsiniotis. Using $omega$ iterations we describe these as iterated algebraic injectives and, via this correspondence, prove the faithfulness conjecture of Maltsiniotis. Through work of Ara, this implies a tight correspondence between the weak $omega$-categories of Maltsiniotis and those of Batanin/Leinster.

Recommendations

• Algebraic models for higher categories
• A cellular nerve for higher categories
• The algebra of the nerves of omega-categories
• Equipping weak equivalences with algebraic structure
• Algebraic models of cubical weak higher structures

Cites work

• A cellular nerve for higher categories
• A survey of definitions of n-category
• Algebraic models for higher categories
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Equipping weak equivalences with algebraic structure
• Homotopy-theoretic aspects of 2-monads
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monads and theories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On semiflexible, flexible and pie algebras
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Towards a globular path object for weak \(\infty\)-groupoids
• Understanding the small object argument

Cited in

(9)

• Accessible aspects of 2-category theory
• Hom weak ω-categories of a weak ω-category
• Algebraic models of cubical weak \(\infty\)-categories with connections
• Algebraic models of cubical weak higher structures
• Modalities in homotopy type theory
• CaTT contexts are finite computads
• Towards enriched universal algebra
• Equivalences in diagrammatic sets
• Globular weak -categories as models of a type theory

This page was built for publication: Iterated algebraic injectivity and the faithfulness conjecture

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