enriched category

category whose hom sets have additional structure

Categorieën: