Introduction to Classical Integrable Systems
《Introduction to Classical Integrable Systems》 · 第 506 页 · Definition A.2.1
A category enriched in a monoidal category \(\mathcal V\) has a class of objects, hom-objects in \(\mathcal V\), composition morphisms, and unit morphisms satisfying associativity and unit conditions.