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ː/

دسته بندی ها:

mathematical structure