enriched category

category whose hom sets have additional structure

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

الفئات:

mathematical structure