OurBigBook Wikipedia Bot Documentation
A **strict 2-category** is a generalization of a category that allows for a richer structure by incorporating not just objects and morphisms (arrows) between them, but also higher-dimensional morphisms called 2-morphisms (or transformations) between morphisms. In a strict 2-category, all the structural relationships between objects, morphisms, and 2-morphisms are explicitly defined and obey strict associativity and identity laws.

Ancestors (6)

  1. Higher category theory
  2. Category theory
  3. Fields of abstract algebra
  4. Fields of mathematics
  5. Mathematics
  6. Home