From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5387 Path: news.gmane.org!not-for-mail From: Ronnie Brown Newsgroups: gmane.science.mathematics.categories Subject: Re: A well kept secret? Date: Sat, 19 Dec 2009 17:45:38 +0000 Message-ID: References: Reply-To: Ronnie Brown NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1261320822 26305 80.91.229.12 (20 Dec 2009 14:53:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 20 Dec 2009 14:53:42 +0000 (UTC) To: "Ellis D. Cooper" , Original-X-From: categories@mta.ca Sun Dec 20 15:53:35 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NMNA6-00038g-Bq for gsmc-categories@m.gmane.org; Sun, 20 Dec 2009 15:53:34 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NMMWF-000184-Eo for categories-list@mta.ca; Sun, 20 Dec 2009 10:12:23 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5387 Archived-At: From teaching first year analysis I saw that we need rules for constructing continuous (and then differentiable) functions (as the texts do, of course). I guess this led me later to emphasise constructions of continuous functions in topology, and this leads naturally in many cases to universal properties. (Are categorical methods relevant to functions of bounded variation?) This is the conceptual revolution in which of course a particular construction is defined by its relation to all other objects of the `category of discourse'. This can be related to programming; given any input of the required type, the output is a function or morphism. It also emphasises properties rather than mode of construction. So categorical methods can be used without explicitly saying at the first instance that one is doing `category theory'; I was also an advocate of set notation in calculus, for example to name the domains of functions defined by formulae, without introducing `set theory' as a `big deal'. Ronnie Brown Ellis D. Cooper wrote: > At 11:09 PM 12/17/2009, John Baez wrote: >> I think it's premature to introduce category theory in the undergrad >> curriculum. > > I think there are enough very interesting simple examples of > categories that the language and diagrams could be introduced > to high school students. For example, lists are terrific examples > for discussion of the free monoid functor, its unit, and counit, but > they don't have to be called by their official names. And tables give > a 2-dimensional version of that discussion, with an exchange law that > is simple but interesting. Kinship trees or the trees used in high > school probability class can be used to talk about partially ordered > sets, but they don't have to be called that. The idea would be to get > diagrams into the student consciousness, so they learn about > connecting the dots. Advanced high school students know about > multiplication of matrices, so they could learn something about > arrows standing for linear transformations, and composition of arrows > corresponding to matrix multiplication. The slogan is, "algebra is > the geometry of notation," and high school students can learn to look > at and play with diagrams. I bet some kind of school-yard game could > be based on diagram chasing. > > As I see it the greater problem is that high school mathematics > teachers need more education. Therefore, I am preparing a book with > no calculus beyond the AP level, but using Robinson infinitesimals, > Kolmogorov probability spaces, and Eilenberg-Mac Lane categories > wherever these things come up simply and naturally in a certain > context to do with biology. It has been announced for pre-order at > amazon.com by World Scientific and should be available in April, > 2010. The work-in-progress is available for examination (and feedback > to me!) upon request. > > Ellis D. Cooper > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]