Higher dimensional categories: induction on extensivity

DOI10.1016/J.ENTCS.2018.11.005OpenAlexW2806710741WikidataQ113317494 ScholiaQ113317494MaRDI QIDQ2134826FDOQ2134826

John Power, Thomas Cottrell, Soichiro Fujii

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

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Understanding the small object argument
• 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
• Algebraic weak factorisation systems. I: Accessible AWFS.
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• V-cat and V-graph
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so
• Introduction to distributive categories
• Connected limits, familial representability and Artin glueing
• Why tricategories?
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• Enriched and internal categories: an extensive relationship

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)