豐饒圈
豊穣圏 - Wikipedia
enriched category in nLab
Enriched Categories
Hom を別の
monoidal 圈
の對象と見做せる
圈
射の合成は、
monoidal 圈
の
tensor 積
と兩立する
圈
は、
集合の圈
$ \bf Set
と直積
$ \times
で豐饒化された
豐饒圈