6 papers
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.…
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…
A diagrammatic presentation of the category 3Cob
Jovana Nikolic, Zoran Petric, Mladen Zekic
A category equivalent to the category of 3-dimensional cobordisms is defined in terms of planar diagrams. The operation of composition in this category is completely described via…
A diagrammatic calculus for categorical quantum protocols
Dusan Dordevic, Zoran Petric, Mladen Zekic
As shown by Abramsky and Coecke, quantum mechanics can be studied in terms of dagger compact closed categories with biproducts. Within this structure, many well-known quantum proto…
Coherence for closed categories with biproducts
Zoran Petric, Mladen Zekic
A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact…
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…