Lectures related to Group Actions: G-equivariant Morphisms

Related lectures (32)

Explores the verification of a Lie functor as a left adjoint, with natural transformations satisfying triangular identities and isomorphisms.

Formalizes the construction of orbits and fixed points in group actions, defining morphisms and verifying naturalness.