TimesFellow categorists, Jim Stasheff has been appealing to me to comment on the role of category theory in knot theory in the context of the ‘cracks and pots’ thread. In that regard, let me begin with the story I tell in the introduction to my book: At a Joint Summer Research conference a number of years back, Moishe Flato at some point offered the usual dismissal of category theory--‘it is a mere language’. Kolya Reshetikhin and I undertook that evening to disabuse him of the notion by explaining Shum’s coherence theorem (the one-object version, being ‘the braided monoidal category with two-sided duals compatible with the braiding is monoidally equivalent to the category of framed tangles’). This is a remarkable theorem--a structure absolutely natural from the internal structure of category theory is essentially identical to the key geometric sturctures in 3- and 4-manifold topology, framed tangles being simply ‘relative versions of’ the framed links on which the Kirby calculi for 3- and 4-manifolds depend. It is one of several theorems relating category theory, and with it a great deal of algebra, to geometric topology, all of which had a “who ordered that?” feel about them. It is also the only basis on which the connection between knot theory and quantum groups can be explained: the category of representations of a quantum group has the algebraic structure for which framed tangles are a free model! I retired before the point had sunk in, leaving Kolya to continue the discussion. The next morning as I sat in the back of the main lecture hall, Flato came in, tapped me on the shoulder, and with a thumbs up, said “Hey! Viva les categories!. . .these new ones, the braided monoidal ones.” Now, Shum’s theorem is merely the first of several, all of which give one the “who ordered that?” impression, at least once on starts thinking of TQFT’s. The other two that come to mind require a bit of set up to state fully, but I will spare you all now: they are Abrams theorem that a 2-dimensional TQFT is equivalent to a Frobenius algebra, and a theorem due to myself and Crane, and Kerler, that in a certain category of cobordisms between surfaces with boundary, the handle (a torus with a hole cut in it) has the structure of a Hopf algebra (CY, K) which is self-dual (CY) and admits a right integral (K), and that every surface with a circle boundary is a Yetter-Drinfel’d module over the handle. (For an ordinary finite dimensional Hopf algebra, YD-modules are modules over the Drinfel’d double, but they exist more generally, for infinite dimensional Hopf algebras or Hopf algebra objects in arbitrary monoidal categories, where Drinfel’d doubles don’t exist.) All of these are part and parcel of a different face of category theory than one saw in the old days: category theory as algebra, rather than category theory as foundations. Flato’s dismissal was directed at category theory as foundations. It is easily ignored if one is interested in foundations of mathematics, since most mathematicians really don’t care about foundations. For example, many mathematicians pay lip service to the attitude ‘set theory is ‘the’ foundation of mathematics’, but then turn around and talk about ‘the real numbers’. Which ‘real numbers’? Dedekind cuts? equivalence classes of Cauchy sequences? a complete Archimedian field constructed from surreal numbers? Now we, as categorists, know the question is silly: one doesn’t bother asking which of a family of isomorphic structures one means, because they are isomorphic. It is in the practical sense of describing the basic structure of what mathematicians actually do, that category theory is a superior ‘foundation’ to set theory. (Was there ever a time when the epsilon tree defining an element of a smooth manifold ever mattered to anyone?) The dim view of category theory in many mathematical circles is surely due to mathematicians’ boredom with foundations--and attitude which might be summed up as “Set theory was bad enough. Why open up all those questions again? Just let me do my geometry, algebra, or whatever.” I reading this thread, I wonder how much of the concern about public perceptions of category theory is really concern that ‘categories as algebra’ has become the public face of category theory, concern on the part of those who are fond of ‘categories as foundations’. ‘Categories as foundations’ served the subject poorly in relations to most mathematicians, but well in relation to computer science: only categorists were willing to take up the challenge of polymorphic type theory. If you thought ‘set theory is *the* foundation’, you bashed your head against Russell’s paradox and were no help the the folk in CS. We (really those of *you* who took up the challenge) were the only mathematicians who had any hope of being helpful. On the other hand, those of us who set our sights on ‘core mathematics’ have been better served by ‘categories as algebra’: the applications to knot theory (and geometric topology more generally), homotopy theory, deformation theory, and physics all flow from this ‘face’ of category theory. Even if those of us whose love is ‘categories as foundations’ can be a little uneasy with the other face of the subject getting applied to physics and drawing fire from outside mathematics, those of us whose love is ‘categories as algebra’ can be uneasy about applications of the other face to philosophy (as pointed to in Peter Arndt’s last post), which are sure to be vilified (philosophers and humanists always vilify their rivals, as I am learning from my daughter who is studying philosophy). ‘Categories as algebra’ at least got a ‘Viva!’ from one of the fathers of deformation quantization. Best Thoughts, David Yetter On 23 Mar 2006, at 14:45, Peter Arndt wrote: Dear category theorists, I would like to support Krzysztof Worytkiewicz's remark that "cat theory needs to be demystified in first place rather than to be sold" from a different side: I have recently come across several publications and research projects of philosophers who have become over-enthusiastic with category theory. In certain circles category theory seems to have gained a nimbus of an all-encompassing theory of everything, be it part of mathematics or not, see for example http://lists.debian.org/debian-devel/2000/10/msg02048.html for an expression of such opinions or http://ru.philosophy.kiev.ua/rodin/Endurance.htm for a crude offspring of them. Such exaggerated propaganda is very likely to cause railings like the one of Lubos Motl. Has anyone observed the same phenomenon or does it only exist among the people I have to do with? All the best, Peter