question about enriched category theory