Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Coherence for logicians
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…
math.LO2019
Proofs and surfaces
Djordje Baralic, Pierre-Louis Curien, Marina Milicevic +4
A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean…