enriched categories are categories whose morphisms Mor(X,Y) are not sets but objects in another category.