We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper . We obtain a method to determine if two morphisms are equal up to a certain equivalence . The generalized coherence theorem for linear category is established .

Author(s) : Ryu Hasegawa

Links : PDF - Abstract

Code :
Coursera

Keywords : linear - confluence - category - - equivalence -

Leave a Reply

Your email address will not be published. Required fields are marked *