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
Types.
- braided monoidal category
- symmetric monoidal category
- copy-discard category
- copy-discard-compare category
- markov category
- partial Markov category
- cartesian restriction category
- compact closed monoidal category
Constructions
- cartesian categories are monoidal categories
- cartesian categories and comonoids
- 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 - theory of symmetric monoidal categories
- distributive law
- String diagrams for monad and monad algebras
- Motivating bicategories
As theories of processes.
Examples
Literature.
#index