Higher dimensional categories: induction on extensivity
From MaRDI portal
Publication:2134826
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
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)
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)