enriched category (Q5379515)
category whose hom sets have additional structure
Language:
other details
description category whose hom sets have additional structure

External Links