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