From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3973 Path: news.gmane.org!not-for-mail From: Mikael Vejdemo Johansson Newsgroups: gmane.science.mathematics.categories Subject: Re: Help! Date: Mon, 8 Oct 2007 07:10:36 +0200 (CEST) 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 1241019636 11145 80.91.229.2 (29 Apr 2009 15:40:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:40:36 +0000 (UTC) To: Categories list Original-X-From: rrosebru@mta.ca Mon Oct 8 10:15:46 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 08 Oct 2007 10:15:46 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IesRx-0004Ii-03 for categories-list@mta.ca; Mon, 08 Oct 2007 10:15:09 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 30 Original-Lines: 20 Xref: news.gmane.org gmane.science.mathematics.categories:3973 Archived-At: On Fri, 5 Oct 2007, Michael Barr wrote: > What would you say to an undergraduate math club about categories? I have > been thinking about it, but I am not sure what to say. Talk about > cohomology, which is what motivated E-M? I don't think so. Talk about > dual spaces of finite-dimensional vector spaces? Maybe, but then what? > How about talking about simultaneously existing results in several categories? The Noetherian isomorphism theorems, while not necessarily the easiest to nail down exactly when they hold, have always been a strong motivator at the back of my head for why one might want to look at algebraic entities codifying things like "All Xs and maps between them". -- Mikael Vejdemo Johansson | To see the world in a grain of sand mik@math.su.se | And heaven in a wild flower | To hold infinity in the palm of your hand | And eternity for an hour