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-$\mathcal{C}$ 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.