Higher dimensional categories: induction on extensivity

DOI10.1016/J.ENTCS.2018.11.005MaRDI QIDQ2134826zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Cottrell, Soichiro Fujii, John Power

Publication date 3 May 2022

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

zbMATH Keywords

Cartesian monadenriched categoryextensive categoryhigher dimensional category

Mathematics Subject Classification ID

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

Recommendations

• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• scientific article; zbMATH DE number 2125641
• Weak -categories via terminal coalgebras
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On weak higher-dimensional categories. I: Part 3

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• 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
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Connected limits, familial representability and Artin glueing
• Enriched and internal categories: an extensive relationship
• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 5360218 (Why is no real title available?)
• scientific article; zbMATH DE number 1392303 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• Introduction to distributive categories
• Introduction to extensive and distributive categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Profunctors, open maps and bisimulation
• Understanding the small object argument
• V-cat and V-graph
• Why tricategories?

Cited in

(1)

• Hom weak ω-categories of a weak ω-category

This page was built for publication: Higher dimensional categories: induction on extensivity

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