Reading, Section 1.5 “Adjoints”
Study questions. This section is largely a series of examples of adjoints. Work through various examples.
- What is the definition of adjoint covariant functions.
- What does natural mean in the definition of adjoint?
- Exercises 1.5.A, 1.5.B, 1.5.C, 1.5.D, 1.5.E, 1.5.G.
- Can you interpret the free abelian group on a set as an adjoint to the forgetful functor from the category of abelian groups to the category of sets (which sends each abelian group to its underlying set)?