small category

category whose objects and morphisms both form sets

en-GB/ˈsmɔːl kætɪɡəɹiː/
en-US/ˈsmɔl ˈkædəˌɡoʊɹi/

Categories:

locally small categorysemigroupoidinternal category