Categories of diagrams with irreversible moves

Maciej Niebrzydowski

We work with a generalization of knot theory, in which one diagram is reachable from another via a finite sequence of moves if a fixed condition, regarding the existence of certain…