2-category

From Conservapedia

2-category is a category with morphisms in between morphisms. It is defined as a category enriched over the category of categories and functors, with the monoidal structure induced by the composition. This article is a "stub". You can help Conservapedia by expanding it!