Explore Books on
enriched categories (over closed or monoidal categories)