require our enriched category theory to be over a Category