Glossary of categories Category of (small) categories The category of (small) categories is a strict 2-category where an object is a (small) category, a 1-morphism is a functor, and a 2-morphism is a natural transformation. stub | en | sembr