Showing math.CTShow all
3 papers · 1 filter
math.CT2023
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…
math.CT2022
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…
math.CT2020
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…