Equivalences of CategoriesExplores examples of natural transformations, equivalence of categories, and adjunction with specific instances involving Un.
Introduction to CoproductsIntroduces coproducts in category theory, exploring their properties, universality, and relationships with products.
Triangular IdentitiesCovers triangular identities, natural transformations, commutative diagrams, and adjunction notation in group and category theory.
Active Learning SessionExplores the verification of a Lie functor as a left adjoint, with natural transformations satisfying triangular identities and isomorphisms.