Functorial knot theory categories of tangles, coherence, categorical deformations, and topological invariants - Yetter, David N. (World Scientific, 2001)