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


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(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: Lax completeness for gs-monoidal categories

Abstract: Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal categories has surfaced a few times under different monikers in the last decades. They can be concisely described as symmetric monoidal categories with enough structure to represent relations and partial functions, and as such they have been investigated of lately, also due to their connections with bicartesian categories. The aim of this paper is threefold. The first goal is to rephrase the original definition of gs-monoidality in contemporary terms using the graphical formalisms of string diagrams, at the same time highlighting all the basic properties underlying its structure. Then, we show that gs-monoidal categories naturally arise both in terms of Kleisli categories and of span categories, and the relation between the resulting formalisms is thoroughly explored, resulting in the introduction of the novel concept of weakly affine monad. Finally, after considering preorder enrichments on gs-monoidal categories, we present two theorems concerning functorial completeness on the one hand and Yoneda embeddings on the other hand, the former inducing a completeness result also for functors from gs-monoidal categories 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.06892v2 [cs.LO] for this version)

Submission history

From: Davide Trotta [view email]
[v1] Fri, 13 May 2022 21:07:40 GMT (46kb,D)
[v2] Wed, 26 Oct 2022 13:26:54 GMT (63kb)

Link back to: arXiv, form interface, contact.