We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Completeness and expressiveness for gs-monoidal categories

Abstract: Formalised in the study of symmetric monoidal categories, string diagrams are a graphical syntax that has found applications in many areas of Computer Science. Our work aims at systematising and expanding what could be thought of as the core of this visual formalism for dealing with relations and partial functions. To this end, we identify gs-monoidal categories and their graphical representation as a convenient, minimal structure that is useful to formally express such notions. More precisely, to show that such structures naturally arise, we prove that the Kleisli category of a strong commutative monad over a cartesian category is gs-monoidal. Then, we discuss how other categories providing a formalisation of "partial arrows", such as p-categories and restriction categories, are related to gs-monoidal categories. This naturally introduces a pre-order enrichment on gs-monoidal categories, and an equivalence of arrows, called "gs-equivalence": we conclude presenting a completeness result of this equivalence for models defined as lax functors to $\mathbf{Rel}$.
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
ACM classes: F.3; F.4
Cite as: arXiv:2205.06892 [cs.LO]
  (or arXiv:2205.06892v1 [cs.LO] for this version)

Submission history

From: Davide Trotta [view email]
[v1] Fri, 13 May 2022 21:07:40 GMT (46kb,D)

Link back to: arXiv, form interface, contact.