Coherence for Star-Autonomous Categories
K. Dosen, Z. Petric
Abstract
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail.
Create a lesson
Related papers
Models for dagger (∞,1)-categories I: Dagger simplicial sets and unitary cores
Keima Akasaka
The (∞,∞)-category of spans
Jonte Gödicke, Quoc P. Ho, Walker H. Stern
Factorization Systems on ∞-Categories: Un/Straightening and Monadicity
Thorger Geiß
A categorical model structure for generalized algebraic theories
Daniel Almeida
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu
Finitistic dimensions in triangulated categories with a compact silting generator
Xiaoyan Yang