bn:02101647n
Noun Concept
PT
2-categoria
EN
In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. Wikipedia
Relations
Sources