E
nriched
C
ategory
B
asics
ClosedMonoidalCategory
CartesianClosedMonoidalCategory
EnrichedCategory