1: \begin{abstract}

2:  We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots. We construct a class of Reidemeister pairs which constitute a lifting of the Eisermann invariant, and show through an example that this class is strictly stronger than the Eisermann invariant itself.

3:  \medskip

4:  

5:  

6: \noindent {\bf 2010 Mathematics Subject Classification:}{57M25, %Knots and links in S 3 

7:                     57M27  %Invariants of knots and 3-manifolds

8: 18D10 %Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories

9: }

10: 

11: \noindent{\bf Key words and phrases:} {Knot invariant, tangle, peripheral system, quandle, rack, crossed module, categorical group, non-abelian tensor product of groups.}

12: \end{abstract}

13: