Weak units, universal cells, and coherence via universality for bicategories
From MaRDI portal
Publication:5239844
zbMath1423.18016arXiv1803.06086MaRDI QIDQ5239844
Publication date: 23 October 2019
Full work available at URL: https://arxiv.org/abs/1803.06086
coherenceweak unitsbicategoriesmulticategoriesstrictificationpolygraphspolycategoriesmerge-bicategories
Related Items
Weak units, universal cells, and coherence via universality for bicategories, A combinatorial-topological shape category for polygraphs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Mathematical Sciences Research Institute
- Not every pseudoalgebra is equivalent to a strict one
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Weakly distributive categories
- Higher-dimensional word problems with applications to equational logic
- The category of 3-computads is not cartesian closed
- Icons
- The algebra of oriented simplexes
- A general coherence result
- Natural deduction and coherence for weakly distributive categories
- Coherence for compact closed categories
- The geometry of tensor calculus. I
- Limits indexed by category-valued 2-functors
- Yoneda structures on 2-categories
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Braided tensor categories
- Localizations of transfors
- Representable multicategories
- On weak higher dimensional categories. I: Part 1
- The Gray tensor product via factorisation
- Omega-categories and chain complexes
- Linearly distributive functors
- Codescent objects and coherence
- A combinatorial-topological shape category for polygraphs
- \(H\)-spaces from a homotopy point of view
- Closed categories vs. closed multicategories
- Cyclic multicategories, multivariable adjunctions and mates
- Logic Programming with Focusing Proofs in Linear Logic
- Introduction to linear bicategories
- Introduction to bicategories
- No proof nets for MLL with units
- Coherence in Three-Dimensional Category Theory
- Data structures for quasistrict higher categories
- Weak units, universal cells, and coherence via universality for bicategories
- Non-unital polygraphs form a presheaf category
- Elementary remarks on units in monoidal categories
- Catégories tannakiennes
- From coherent structures to universal properties
