Email Record: Functorial knot theory :