nLab
underlying ordinary category

Underlying ordinary categories

Underlying ordinary categories

Definition

Let (V,,I)(V,\otimes,I) be a monoidal category and CC a VV-enriched category. The underlying ordinary category of CC is the ordinary category C 0C_0 with the same objects and with hom-sets

C 0(x,y)=V(I,C(x,y)).C_0(x,y) = V(I,C(x,y)).

This is an instance of change of enriching category.

Created on February 11, 2019 at 23:06:32. See the history of this page for a list of all contributions to it.