Hom weak ω-categories of a weak ω-category

DOI10.1017/S0960129522000111MaRDI QIDQ5058363

Thomas Cottrell, Soichiro Fujii

Publication date: 20 December 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

operadidentity typeweak \(\omega\)-categoryintensional Martin-Löf type theoryweak \(\omega\)-functorweak \(\omega\)-groupoid

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Algebraic weak factorisation systems. II: Categories of weak maps.
• A folk model structure on omega-cat
• Homomorphisms of higher categories
• Generalized algebraic theories and contextual categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• V-cat and V-graph
• Avoiding the axiom of choice in general category theory
• Higher dimensional categories: induction on extensivity
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid
• The formal theory of monads
• The geometry of iterated loop spaces
• Weak omega-categories from intensional type theory
• Types are weak ω -groupoids
• The folk model category structure on strict $\omega$-categories is monoidal
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• Introduction to bicategories
• Coherence for tricategories
• A Type-Theoretical Definition of Weak {\omega}-Categories
• Weak $\infty$-categories via terminal coalgebras
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Understanding the small object argument

This page was built for publication: Hom weak ω-categories of a weak ω-category