enriched category

category whose hom sets have additional structure

Kategorier: