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