Coherence in Substructural Categories
Z. Petric
Abstract
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with ``graphs'' (g-natural transformations), and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.
Create a lesson
Related papers
Local coherence and recollement of abelian categories
Mikhail Dusman, Alexander Pavlov
A smooth non-compactly generated category
Alexander Frolov
Flat and Ghost dimensions in tensor triangulated categories with a compact tilting generator
Xiaoyan Yang
Fiber product of condensable algebras and critical points of boundary phase transitions
Hanlin Lin, Hao Zheng
Tensor triangular geometry of band algebras
Peng Xu
Universal Semisimple Reconstruction and Obstruction Theory
Joe Gildea