Text this: Functorial knot theory