Some of my own stuff
I’m talking tomorrow in the Geometry, Symmetry, and Physics seminar here at Yale about the work that spun out of my realization of March 16. This ties into knot colorings, but goes far beyond that starting point. I won’t be able to say this with just the tools I’ve developed in the main line of my writings, so like the Atlas stuff it may not be comprehensible (yet!) to anyone beyond professionals.
So here’s the most general statement. Let be an algebraic category and
a co-
object in the category of pointed topological pairs up to homotopy. Write
for the plane with
marked points, and
for the cube. Then every tangle
gives rise to a cospan in
:
where the -objects are taken in the category of pointed pairs up to homotopy. This then gives rise to an anafunctor from the comma category
to the comma category
. This assignment is a monoidal functor from the category of tangles to the category of (categories, anafunctors). When
is the category of quandles, this functor categorifies the extension to tangles of the coloring number invariant of knots and links.
No comments yet.
