Categories enriched.