A synthetic version of Lie's second theorem (Q1656722)

The so-called Lie's second theorem states as follows. Let \(G\) and \(H\) be Lie groups with Lie algebras \(\mathfrak{g} = Lie(G)\) and \(\mathfrak{h} = Lie(H)\), with \(G\) is simply connected. If \(f:\mathfrak{g} \to \mathfrak{h}\) is a morphism of Lie algebras, then there is a unique morphism \(F: G \to H\) of Lie groups lifting \(f\), i.e. such that \(f = Lie(F)\). This well-known and classic theorem for Lie groups allows then to integrate Lie algebra morphisms in Lie group morphisms. Now, in more general situations, for example for Lie groupoids, there is as well-known version of this theorem. In the case of Lie groupoids, one has to replace simply connected by source simply connected, a proof of this theorem can be found for instance in [\textit{K. C. H. Mackenzie} and \textit{P. Xu}, Topology 39, No. 3, 445--467 (2000; Zbl 0961.58009)]. In the paper under review, the author gives a synthetic treatment of Lie theory and in particular of Lie's second theorem. In synthetic differential geometry, one replaces the category MAN of smooth manifolds by a well adapted Grothendieck topos \(\mathcal{E}\) explained for example in section 2 of the paper. Working in the context of synthetic differential geometry allows in particular the author to extend Lie theory study for Lie groupoids to at least two interesting types of groupoids in \(\mathcal{E}\), jet groupoids and integral complete groupoids, studied in Section 4 and 6 of the paper under review.