Simple free star-autonomous categories and full coherence
Dominic Hughes
Abstract
This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.
Create a lesson
Related papers
Actions in varieties of non-associative algebras: a survey
Manuel Mancini
Monoidal structure on Rota-Baxter algebras via augmentation, and free cocycle bialgebras
Li Guo, Yunzhou Xie, Yi Zhang
A characterization of central extensions relative to n-nilpotent objects
Marino Gran, James R. A. Gray
Hanslick's Musical Formalism as a Mathematical Structure - Examining meaning in Music through the Lens of Category Theory
Ilyas Khan
Models for dagger (∞,1)-categories III: Univalent flagged dagger (∞,1)-categories and unitarily complete dagger Segal anima
Keima Akasaka
Spectra and Support Theory for Wide Subcategories in n-Abelian Categories
Zheng Xin