So last post I gave a (hurried) description of why adjoint pairs of functors are linked to this notion of “similar structure” between two categories. In this post, I want to relate adjunctions to universal properties, and ultimately why we like adjoint pairs so much. Say we’re working with the “free group onContinue reading “Adjoint Functors”