Explores the free action functor as the left adjoint to the forgetful functor, emphasizing its equivalence-preserving properties and natural bijection.
Explores natural transformations and adjunctions in category theory, illustrating concepts through concrete examples and discussing the conditions for the existence of adjoints.
