da killing_buddha » 08/09/2018, 11:36
La corrispondenza che manda $F : G\to G$ in $F_*$, definita tra i suoi spazi tangenti, è evidentemente funtoriale (resta da stabilire con che codominio), e questo ti dice che $F_*$ è un isomorfismo perché lo era $F$.
Ti resta da vedere che $F_*$ commuta con le parentesi di Lie, credo siano solo dei conti con la definizione dat aappena sopra.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)