Burke, M.
(Symmetry, Integrability and Geometry: Methods and Applications, 2017)
We extend some fundamental definitions and constructions in the established generalisation of Lie theory involving Lie groupoids by reformulating them in terms of groupoids internal to a well-adapted model of synthetic ...