Iterated algebraic injectivity and the faithfulness conjecture

zbMath1458.18012arXiv1811.09532MaRDI QIDQ5149953

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

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

Related Items (4)

Modalities in homotopy type theory ⋮ Accessible aspects of 2-category theory ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A cellular nerve for higher categories
• Algebraic models for higher categories
• Homotopy-theoretic aspects of 2-monads
• Algebraic weak factorisation systems. II: Categories of weak maps.
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On semiflexible, flexible and pie algebras
• Monads and theories
• Equipping weak equivalences with algebraic structure
• Towards a globular path object for weak \(\infty\)-groupoids
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Understanding the small object argument

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