Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry (Q517698)

This paper extends some fundamental definitions and contructions of Lie theory in term of groupoids internal to a well-adapted model of synthetic differential geometry. The author uses internal versions of certain conditions describing connectedness and solutions to a specific type of vector field. The main result of this work is the proof that all classical Hausdorff Lie groupoids satisfy stronger conditions. More precisely, it is proved that if a classical Hausdorff Lie groupoid satisfies a classical connectedness condition then it also satisfies its internal counterpart.