Topology Seminar

Linear maps between vector spaces themselves form a vector space. Similarly, continuous maps between topological spaces themselves form a topological space. In many contexts, the morphisms between objects form not just a set, but carry some extra structure. The purpose of enriched categories is to encode that extra structure.

In this talk, I will introduce the basics of enriched categories. We will focus on examples of enrichments: in abelian groups, vector spaces, chain complexes, simplicial sets, and topological spaces.