Connected Lie Groupoids are Internally Connected and Integral Complete in Synthetic Differential Geometry

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 differential geometry. In particular we define internal counterparts of the definitions of source path and source simply connected groupoid… CONTINUE READING