Category theory

Last updated Apr 23, 2024

1. Monoidal categories and their variants, including multicategories, promonoidal categories, duoidal categories, premonoidal categories, Freyd categories, effectful categories, linearly distributive category, displayed categories.

• monoidal category
  • bicategory
  • monoidal bicategory
  • monoidal contexts, optics,
  • promonoidal category, produoidal category
• formal category theory
  • proarrow equipment
  • enriched category
  • profunctor
  • double category
• Type theory
  • Type theory for symmetric monoidal categories