Describir: Functorial knot theory