1: \begin{abstract}

2: %

3: % ==============================================================================

4: 

5: In conventional gauge theory, a charged point particle is described by

6: a representation of the gauge group. If we propagate the particle

7: along some path, the parallel transport of the gauge connection acts

8: on this representation. The Lagrangian density of the gauge field

9: depends on the curvature of the connection which can be calculated

10: from the holonomy around (infinitesimal) loops. For Abelian symmetry

11: groups, say $G=\U(1)$, there exists a generalization, known as

12: $p$-form electrodynamics, in which $(p-1)$-dimensional charged objects

13: can be propagated along $p$-surfaces and in which the Lagrangian

14: depends on a generalized curvature associated with (infinitesimal)

15: closed $p$-surfaces. In this article, we use Lie $2$-groups and ideas

16: from higher category theory in order to formulate a discrete gauge

17: theory which generalizes these models at the level $p=2$ to possibly

18: non-Abelian symmetry groups. An important feature of our model is that

19: it involves both parallel transports along paths and generalized

20: transports along surfaces with a non-trivial interplay of these two

21: types of variables. Our main result is the geometric picture, namely

22: the assignment of non-Abelian quantities to geometrical objects in a

23: coordinate free way. We construct the precise assignment of variables

24: to the curves and surfaces, the generalized local symmetries and gauge

25: invariant actions and we clarify which structures can be non-Abelian

26: and which others are always Abelian. A discrete version of connections

27: on non-Abelian gerbes is a special case of our construction. Even

28: though the motivation sketched so far suggests applications mainly in

29: string theory, the model presented here is also related to spin foam

30: models of quantum gravity and may in addition provide some insight

31: into the role of centre monopoles and vortices in lattice QCD.

32: 

33: \end{abstract}

34: