Let be a monoidal category and a -enriched category. The underlying ordinary category of is the ordinary category with the same objects and with hom-sets
This is an instance of change of enriching category.
Created on February 12, 2019 at 04:06:32. See the history of this page for a list of all contributions to it.