1 paper · 1 filter
Zoran Petric, Mladen Zekic
This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in…