3 papers
math.GT2024
A note on rational surgeries on a Hopf link
Velibor Bojković, Jovana Nikolić, Mladen Zekić
It is clear that every rational surgery on a Hopf link in -sphere is a lens space surgery. In this note we give an explicit computation which lens space is a resulting manifold.…
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…