small category

category whose objects and morphisms both form sets

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

קטגוריות:

locally small categorysemigroupoidinternal category