From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5272 Path: news.gmane.org!not-for-mail From: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= Newsgroups: gmane.science.mathematics.categories Subject: to PTJ Date: Sat, 14 Nov 2009 14:37:33 -0500 Message-ID: References: Reply-To: =?iso-8859-1?Q?Joyal=2C_Andr=E9?= NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1258294892 2156 80.91.229.12 (15 Nov 2009 14:21:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 15 Nov 2009 14:21:32 +0000 (UTC) To: Original-X-From: categories@mta.ca Sun Nov 15 15:21:23 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 1N9fyk-0005dS-9E for gsmc-categories@m.gmane.org; Sun, 15 Nov 2009 15:21:22 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1N9fXm-00063B-QU for categories-list@mta.ca; Sun, 15 Nov 2009 09:53:30 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5272 Archived-At: Hi Peter, >And, as someone (I forget who, but it may have been Mike Barr) pointed >out long ago, one can (well, almost) define the variety of groups >as the variety defined by a single binary operation satisfying a >single equation; 1 < 3, but no sane group-theorist would do it >that way. I recall that Tarski is responsible for describing the theory of groups with a single binary operation satisfying a single equation. But dont have a reference with me. A small point: the algebraic theory described by Tarski admits the empty set as a model. Strictly speaking, it is not equivalent to the theory of group.=20 Best, Andr=E9 -------- Message d'origine-------- De: categories@mta.ca de la part de Prof. Peter Johnstone Date: ven. 13/11/2009 16:49 =C0: Vaughan Pratt; categories@mta.ca Objet : categories: Re: Lambek's lemma =20 Dear Vaughan, Of course I agree with you that, logically, there is no point in drawing a commutative square to prove that x =3D x. I also agree that 5 < 7. But I think there is still some point in drawing the second square in A1.1.4, at least in pedagogical terms: until you've seen (or at least visualized) the second square, it's hard for the mind to accept the argument that says af =3D 1. (I feel strongly about this, having spent two hours this afternoon in an examples class for the students attending my first-year graduate course on category theory.) And, as someone (I forget who, but it may have been Mike Barr) pointed out long ago, one can (well, almost) define the variety of groups as the variety defined by a single binary operation satisfying a single equation; 1 < 3, but no sane group-theorist would do it that way. Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]