Introduction to Category Theory: Adjoint Functors

This lecture provides a concrete example of an adjunction, demonstrating that the forgetful functor from the category of vector spaces over a field k is the right adjoint to the functor that associates to a set the vector space with it as a basis. The slides cover natural transformations, triangular identities verification, linear applications, and the verification of triangular identities in group theory.