Topics.
- monoidal category
- polycategory
- multicategory
- Functor
- profunctor
- Markov category
- bicategory, monoidal bicategory, and higher categories.
- monoidal contexts, optics,
- non-associative category
- double category
- Type theory
Variants of monoidal categories.
- multicategory
- multicategory - promonoidal category
- duoidal category
- premonoidal category
- Freyd category
- effectful category
- linearly distributive category
- polycategory
- monoidal bicategory
- copy-discard category
- distributive category
- distributive copy-discard category
- distributive copy-discard-uniform category
References.