basic constructions:
strong axioms
further
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
In linear logic and its categorical models, the exponential modality verifies . This is called the Seely isomorphism, named after Robert Seely.
… to come …
… to come …
Last revised on March 9, 2023 at 00:10:14. See the history of this page for a list of all contributions to it.