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