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.
Category EquivalenceExplores the concept of category equivalence through isomorphic functors and natural isomorphisms between categories.
Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
