2 citations · 4 across the 7 of their papers we have counts for
Showing 2016 · math.CTShow all
2 papers · 2 filters
math.CT2016★ 1 cited
Connected Lie Groupoids are Internally Connected and Integral Complete in Synthetic Differential Geometry
Matthew Burke
We extend some fundamental definitions and constructions in the established generalisation of Lie theory involving Lie groupoids by reformulating them in terms of groupoids interna…
math.CT2016
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…