Monoidal category
Monoidal categories are an algebraic structure for transformations that can be composed sequentially and in parallel.
# See also
Motivation.
- Motivating monoidal categories
- 1-Dimensional calculus
- Interchange law
- Coherence for monoidal categories
- Sets is a monoidal category
- Strict monoidal categories and coherence
Constructions
- cartesian categories are monoidal categories
- cartesian categories and comonoids
- Braided monoidal category
- Duals and compact closed categories
- Uniform copy delete
- Examples of monoidal category
- String diagrams for category theory
- Dualities
- Three notations for symmetric monoidal categories
- Do-notation in type theory
- distributive law
- String diagrams for monad and monad algebras
- Motivating bicategories
As theories of processes.
Examples
#index