Higher dimensional categories: induction on extensivity

DOI10.1016/j.entcs.2018.11.005OpenAlexW2806710741WikidataQ113317494 ScholiaQ113317494MaRDI QIDQ2134826

Thomas Cottrell, Soichiro Fujii, A. John Power

Publication date: 3 May 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.11.005

zbMATH Keywords

enriched categoryextensive categoryCartesian monadhigher dimensional category

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Hom weak ω-categories of a weak ω-category

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Introduction to extensive and distributive categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Enriched and internal categories: an extensive relationship
• V-cat and V-graph
• Why tricategories?
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Introduction to distributive categories
• Connected limits, familial representability and Artin glueing
• Profunctors, open maps and bisimulation
• Understanding the small object argument