1 - Functorial knot theory : Categories of tangles, coherence, categorical deformations, and topological invariantsYetter, David N.Cote : [12 YET 01]