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.
Articles by others on the same topic
There are currently no matching articles.