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
monoidal dagger-category?
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.
For now, see §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 December 20, 2023 at 11:53:20. See the history of this page for a list of all contributions to it.