Active Learning SessionExplores natural transformations in group theory and category theory, emphasizing functor composition and morphism composition.
Equivalences of CategoriesExplores examples of natural transformations, equivalence of categories, and adjunction with specific instances involving Un.
Active Learning SessionExplores the verification of a Lie functor as a left adjoint, with natural transformations satisfying triangular identities and isomorphisms.