Category theory

Last updated May 18, 2023

• Monoidal category
  • Bicategory
  • Monoidal bicategory
  • Monoidal contexts
• Formal category theory
  • Proarrow equipment
  • Enriched category
  • Profunctor
  • Double category
• Type theory
  • Type theory for symmetric monoidal categories