Revision history [back]

Would it be a good start to implement the braid category for sage? Then it might be easy enough to port the knot atlas. All link diagrams (and therefore, knot diagrams) are morphisms in the braid category, from the empty object to itself. And after that, maybe define the category of braided monoidal categories? Then a lot of knot invariants are accessible as functors.