hmm the article on enriched category has several figures that could be recycled here