Homotopical AlgebraCovers the theory of groups and homotopical algebra, emphasizing natural transformations, identities, and isomorphism of categories.
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.
