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.
d
This article has been proposed for speedy deletion. The reason given is: It is obvious vandalism, parody, or inappropriate according to The Conservapedia Commandments.