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.
We define enriched categories, enriched functors and describe changes of base. We use preorders, Lawvere metric spaces and higher dimensional categories as examples.