Deakstadieđáhus: Functorial knot theory