From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5848 Path: news.gmane.org!not-for-mail From: Marco Grandis Newsgroups: gmane.science.mathematics.categories Subject: we do meet isomorphisms of categories Date: Mon, 24 May 2010 17:53:16 +0200 Message-ID: References: Reply-To: Marco Grandis NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1274809738 6212 80.91.229.12 (25 May 2010 17:48:58 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 25 May 2010 17:48:58 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Tue May 25 19:48:48 2010 connect(): No such file or directory 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.69) (envelope-from ) id 1OGyF9-0007ij-PU for gsmc-categories@m.gmane.org; Tue, 25 May 2010 19:48:44 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OGxwb-0003EF-S9 for categories-list@mta.ca; Tue, 25 May 2010 14:29:33 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5848 Archived-At: On 23 May 2010, at 17:39, Colin McLarty wrote: > Grothendieck gave it a fine nuance in Tohoku (p. 125) saying "Aucune > des equivalences de categories qu'on rencontre en pratique n'est un > isomorphisme (none of the equivalences one meets in practice are > isomorphisms)." He stressed that we must distinguish isomorphisms > from equivalences. Throughout that and later works he *constructs* a > great many categories up to isomorphism, and not just up to > equivalence. We do not meet these isomorphisms, we construct them -- > and it is quite important that once constructed they are not merely > equivalences. We do meet isomorphisms of categories. Only, they are so obvious that sometimes we do not see them. For instance: The category of abelian groups is (canonically) isomorphic to the category of Z-modules. Groups are often defined as semigroups satisfying two conditions; but they can also be defined as sets with a zeroary operation, a unary operation and a binary operation satisfying certain axioms. Again, we have two isomorphic categories. An unbiased definition would give a third isomorphic category (and one can form infinitely many intermediate cases between the second and the third, likely of little interest). Algebras for the free group monad are directly linked with the unbiased version, yet not the same. Lattices (with 0 and 1) can be defined as ordered sets satisfying some conditions; or as sets with two binary operations satisfying other conditions; then one can add two zeroary operations;... Best regards Marco Grandis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]