1: \begin{abstract}

2: We provide a visual and intuitive 

3: introduction to effectively calculating in 2-groups along with

4: explicit examples coming from non-abelian 1- and 2-form 

5: gauge theory. In particular, we utilize string diagrams, 

6: tools similar to tensor networks,

7: to compute the parallel transport along a surface using 

8: approximations on a lattice. 

9: Although this work is mainly intended as expository, 

10: we prove a convergence theorem for the surface transport

11: in the continuum limit. 

12: Locality is used to define infinitesimal parallel transport

13: and two-dimensional algebra is used to derive

14: finite versions along arbitrary surfaces with sufficient

15: orientation data. 

16: The correct surface ordering is dictated by two-dimensional algebra

17: and leads to an

18: interesting diagrammatic picture for gauge fields interacting with particles

19: and strings on a lattice. 

20: The surface ordering is inherently complicated, but we

21: prove a simplification theorem 

22: confirming earlier results of Schreiber and Waldorf. 

23: %Simplicity is gained by

24: %providing numerous pictures, examples, and explicit 

25: %calculations using mostly calculus. 

26: Assuming little background, 

27: we present a simple way

28: to understand some abstract concepts of higher category theory. 

29: In doing so, we review all the necessary categorical concepts from the tensor 

30: network point of view as well as many aspects of higher gauge theory. 

31: \end{abstract}