Encyclopedia > 2 > 2-category
2-category
In category theory, a 2-category is a category with "morphisms between morphisms". It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure induced by the composition).
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)