A categorical reduction system for linear logic

Ryu Hasegawa

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simpl…