enriched category

category whose hom sets have additional structure

en-US/ɛnˈɹɪt͡ʃt ˈkædəˌɡoʊɹi/
en-GB/ɪnˈɹɪt͡ʃt kætɪɡəɹiː/

Kategorie:

mathematical structure