Computads for weak -categories as an inductive type
From MaRDI portal
Publication:6562849
DOI10.1016/J.AIM.2024.109739zbMATH Open1541.1803MaRDI QIDQ6562849FDOQ6562849
Authors: Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter, Jamie Vicary 
Publication date: 27 June 2024
Published in: Advances in Mathematics (Search for Journal in Brave)
Strict omega-categories, computads, polygraphs (18N30) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monads with arities and their associated theories
- Understanding the small object argument
- Title not available (Why is that?)
- A cellular nerve for higher categories
- Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
- Title not available (Why is that?)
- Homotopy type theory. Univalent foundations of mathematics
- Title not available (Why is that?)
- Types and programing languages
- The algebra of oriented simplexes
- Limits indexed by category-valued 2-functors
- Wellfounded trees in categories
- Polygraphic resolutions and homology of monoids
- Higher-dimensional word problems with applications to equational logic
- Polynomial functors and polynomial monads
- Connected limits, familial representability and Artin glueing
- Are colimits of algebras simple to construct?
- Homomorphisms of higher categories
- A direct proof that the category of 3-computads is not Cartesian closed
- Title not available (Why is that?)
- The category of 3-computads is not cartesian closed
- A Type-Theoretical Definition of Weak {\omega}-Categories
- Towards 3-dimensional rewriting theory
- Non-unital polygraphs form a presheaf category
This page was built for publication: Computads for weak \(\omega \)-categories as an inductive type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562849)
