A module defining the category of tangles, and representations into the category of vector spaces (specifically, knot invariants).
A module defining the category of tangles, and representations into the category of vector spaces (specifically, knot invariants).