Enriched Category Theory For Beginners

We define enriched categories, enriched functors and describe changes of base. We use preorders, Lawvere metric spaces and higher dimensional categories as examples.