Underlying category of an enriched category

ID: underlying-category-of-an-enriched-category

The underlying ordinary category has the same objects and hom-sets .

New to topics? Read the docs here!