Non-unital polygraphs form a presheaf category

zbMath1427.18014arXiv1711.00744MaRDI QIDQ5382906

Simon Henry

Publication date: 19 June 2019

Full work available at URL: https://arxiv.org/abs/1711.00744

zbMATH Keywords

polygraphsSimpson's semi-strictification conjecture

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10)

Related Items (4)

Weak units, universal cells, and coherence via universality for bicategories ⋮ A combinatorial-topological shape category for polygraphs ⋮ A categorical characterization of strong Steiner \(\omega\)-categories ⋮ Unifying notions of pasting diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional word problems with applications to equational logic
• The combinatorics of n-categorical pasting
• The category of 3-computads is not cartesian closed
• The algebra of oriented simplexes
• Limits indexed by category-valued 2-functors
• On weak higher dimensional categories. I: Part 1
• Omega-categories and chain complexes
• A combinatorial-topological shape category for polygraphs
• Cofibrant objects among higher-dimensional categories
• Strict $\omega$-categories are monadic over polygraphs
• A direct proof that the category of 3-computads is not cartesian closed
• Weak model categories in classical and constructive mathematics
• Weak identity arrows in higher categories
• Corrigenda for Connected limits, familial representability and Artin glueing
• Connected limits, familial representability and Artin glueing
• Coherence of Gray Categories via Rewriting

This page was built for publication: Non-unital polygraphs form a presheaf category