1: \begin{abstract}

2: We rigorously derive a strain-gradient model of plasticity as a $\Gamma$-limit of continuum bodies containing finitely-many edge-dislocations (in two dimensions).

3: The key difference from previous such derivations is the elemental notion of a dislocation:

4: a dislocation is a singularity in the lattice structure, which induces a geometric incompatibility;

5: in a continuum framework, in which we work, the lattice structure is represented by a smooth frame field, and the presence of a dislocation manifests in a circulation condition on that frame field.

6: In previous works, dislocations were encoded via a curl condition on strain fields, which can be obtained formally by linearizing the geometric incompatibility in our model (in a similar sense to the additive decomposition of strain being the linearization of the multiplicative one).

7: The multiplicative nature of the geometric incompatibility generates many technical challenges,

8: which require a systematic study of the geometry of bodies containing multiple dislocations, the definition of new notions of convergence, and the derivation of new geometric rigidity estimates pertinent to dislocated bodies.

9: Our approach places the strain-gradient limit in a unified framework with other models of dislocations, which cannot be addressed within the ``admissible strain'' approach.

10: \end{abstract}

11: