With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
A gs-monoidal category is a symmetric monoidal category that supplies cocommutative comonoid objects.
See also §6.6 of Corradini & Gadducci 1999.
The notion originates under the name S-monoidal categories, motivated by term rewriting, in:
after which it was renamed to gs-monoidal categories, in:
Discussion in category theoretic probability theory:
The notion was reintroduced under the name CD-categories (for copy and discard) in:
Last revised on June 10, 2025 at 14:03:23. See the history of this page for a list of all contributions to it.