1: \begin{abstract}

2: Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples

3: of infinite-dimensional Lie groups modelled on locally convex spaces. 

4: In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (possibly with boundary) with values in a Lie groupoid form infinite-dimensional Lie groupoids which we call current groupoids.

5: We then study basic differential geometry and Lie theory for these Lie groupoids of mappings. In particular, we show that certain Lie groupoid properties, like being a proper \'{e}tale Lie groupoid, are inherited by the current groupoid. Furthermore, we identify the Lie algebroid of a current groupoid as a current algebroid (analogous to the current Lie algebra associated to a current Lie group).

6: 

7: To establish these results, we study superposition operators

8: \[

9: C^\ell(K,f)\colon C^\ell(K,M)\to C^\ell(K,N),\;\, \gamma\mto f\circ \gamma

10: \]

11: between manifolds of $C^\ell$-functions. Under natural

12: hypotheses, $C^\ell(K,f)$ turns out to be a submersion (an immersion, an embedding, proper, resp., a local diffeomorphism) if so is the underlying map $f\colon M\to N$. These results are new in their generality and of independent interest.

13: \end{abstract}

14: