From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1715 Path: news.gmane.org!not-for-mail From: John Duskin Newsgroups: gmane.science.mathematics.categories Subject: Re: Categories ridiculously abstract Date: Wed, 29 Nov 2000 08:39:26 -0500 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" ; format="flowed" X-Trace: ger.gmane.org 1241018040 32560 80.91.229.2 (29 Apr 2009 15:14:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:14:00 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Nov 29 12:27:32 2000 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id eATFni225428 for categories-list; Wed, 29 Nov 2000 11:49:44 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Sender: duskin@mail.buffnet.net Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 46 Original-Lines: 37 Xref: news.gmane.org gmane.science.mathematics.categories:1715 Archived-At: Readers of the cat list may be interested in the one meaningful post to Slate's "The Fray" in reply to Holt's MSRI "Diary" article. It was made by David Yetter: category theory David Yetter 28 Nov 2000 20:29 It is sad more than a decade on since the proof of the remarkable categorical coherence theorem of Shum that mathematicians can continue to view category theory as a mere linguistic convention or useless abstraction. Shum's theorem shows that axioms completely natural from the internal dynamic of category theory completely characterize framed tangles, relative versions of the framed knots and links which are central to smooth topology in 3 and 4 dimensions (notice the dimensionality of space and of space-time: hardly divorced from meaning.) Other categories satisfying the same axioms include the categories of representations of quantum groups, physically motivated algebraic structures which have become central objects of study for mathematicians from many old branches of mathematics. Indeed, Shum's theorem, a theorem of category theory, is the only really satisfying explanation for the intimate connection between quantum groups and low-dimensional topology.