4 papers
A calculus for S^3-diagrams of manifolds with boundary
Bojana Femic, Vladimir Grujic, Jovana Obradovic +1
We introduce a diagrammatic language for compact, orientable 3-dimensional manifolds with boundary. A diagrammatic calculus (both integral and rational version) appropriate for thi…
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…
Syntactic aspects of hypergraph polytopes
Pierre-Louis Curien, Jovana Obradovic, Jelena Ivanovic
This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces…
Categorified cyclic operads
Pierre-Louis Curien, Jovana Obradovic
In this paper, we introduce a notion of categorified cyclic operad for set-based cyclic operads with symmetries. Our categorification is obtained by relaxing defining axioms of cyc…