Underlying category of an enriched category (source code)

= Underlying category of an enriched category

The underlying ordinary category has the same objects and hom-sets $\mathcal V(I,\mathcal C(A,B))$.