Free precategories as presheaf categories
From MaRDI portal
Publication:6575458
zbMATH Open1542.18019MaRDI QIDQ6575458
Publication date: 20 July 2024
Published in: Theory and Applications of Categories (Search for Journal in Brave)
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?)
- 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?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Higher-dimensional word problems with applications to equational logic
- A folk model structure on omega-cat
- Word problems and a homological finiteness condition for monoids
- Limits indexed by category-valued 2-functors
- A finiteness condition for rewriting systems
- Towards an algebraic theory of Boolean circuits.
- Über unendliche diskontinuierliche Gruppen.
- The petit topos of globular sets
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- Convergent presentations and polygraphic resolutions of associative algebras
- Cofibrant objects among higher-dimensional categories
- A direct proof that the category of 3-computads is not Cartesian closed
- Globular: an online proof assistant for higher-dimensional rewriting
- Higher-dimensional categories with finite derivation type
- Higher Category Theory
- Corrigenda for Connected limits, familial representability and Artin glueing
- Coherence in monoidal track categories
- Term Rewriting and All That
- Coherence for tricategories
- Connected limits, familial representability and Artin glueing
- Coherence of Gray Categories via Rewriting
- Join and slices for strict $\infty$-categories
- Data structures for quasistrict higher categories
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors
- Coherent presentations of Artin monoids
- Non-unital polygraphs form a presheaf category
- Towards 3-Dimensional Rewriting Theory
- Rewriting in Gray categories with applications to coherence
- Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln.
This page was built for publication: Free precategories as presheaf categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6575458)
