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
This page is to provide links related to the text
Geraldine Brady, Todd Trimble,
A string diagram calculus for predicate logic and C. S. Peirce’s System Beta
(pdf)
on string diagram calculus for indexed monoidal categories with poset fibers (monoidal hyperdoctrines). This is related to Charles Peirce‘s “System beta”. Based on this work, a string diagram calculus for general indexed monoidal categories is given in
Last revised on March 27, 2017 at 19:27:20. See the history of this page for a list of all contributions to it.