A Synthetic Version of Lie's Second Theorem

Matthew Burke

We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we gene…