Monoidal category

Last updated Sep 8, 2023

Monoidal categories are an algebraic structure for transformations that can be composed sequentially and in parallel.

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 monoidal category

• 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.

• Process theory

Examples

• Monoidal category of dualities
• Monoidal category of streams

#index