From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/322 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Re: Intuitionism's Limits Date: Mon, 3 Mar 1997 10:35:21 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016891 25172 80.91.229.2 (29 Apr 2009 14:54:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:51 +0000 (UTC) To: categories Original-X-From: cat-dist Mon Mar 3 10:36:18 1997 Original-Received: by mailserv.mta.ca; id AA13693; Mon, 3 Mar 1997 10:35:21 -0400 Original-Lines: 36 Xref: news.gmane.org gmane.science.mathematics.categories:322 Archived-At: Date: Sun, 2 Mar 1997 15:27:28 -0500 (EST) From: John Baez William James writes: > I suppose the answer is that monicity is relative to a category, > but what supports this as a claim? It seems to me that category theory takes the sensible viewpoint that mathematical entities (e.g. objects and morphisms) only become interesting through their relationship with other entities. Every arrow looks just like every other arrow if we consider it in isolation. Every arrow in a category C is an image of the what James Dolan calls the "walking arrow" --- the nonidentity morphism in the free category C0 on a single morphism --- under some functor F: C0 -> C. Studying an arrow in isolation is just like studying the walking arrow, which is completely dull. The fun begins only when we have a bunch of arrows and start composing them. This is one reason why I think n-category theory should be useful in physics problems like quantum gravity, where it only makes sense to speak of where or when an event occurs relative to other events, not with respect to some spacetime manifold of fixed geometry. For some of the technical apsects of how this might go, see: John Baez and James Dolan, Higher-dimensional algebra and topological quantum field theory, Jour. Math. Phys. 36 (1995), 6073-6105. Louis Crane, Clock and category: is quantum gravity algebraic?, J. Math. Phys. 36 (1995), 6180-6195. These both appeared in a special issue on diffeomorphism-invariant physics.