Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic
(Submitted on 2 May 2021)
Abstract: We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established. Namely, we obtain a method to determine if two morphisms are equal up to a certain equivalence.
Link back to: arXiv, form interface, contact.