Matches in DBpedia 2016-04 for { ?s ?p "In category theory, a 2-category is a category with \"morphisms between morphisms\"; that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories)."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- 2-category abstract "In category theory, a 2-category is a category with \"morphisms between morphisms\"; that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories).".
- 2-category comment "In category theory, a 2-category is a category with \"morphisms between morphisms\"; that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories).".