Link invariants from finite categorical groups
Link invariants from finite categorical groups
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 …