From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5858 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: we do meet isomorphisms of categories Date: Wed, 26 May 2010 08:21:40 -0700 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1274968033 31821 80.91.229.12 (27 May 2010 13:47:13 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 27 May 2010 13:47:13 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu May 27 15:47:12 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 1OHdQU-0001en-Oy for gsmc-categories@m.gmane.org; Thu, 27 May 2010 15:47:10 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OHdDF-0006B5-P3 for categories-list@mta.ca; Thu, 27 May 2010 10:33:29 -0300 Content-Disposition: inline In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5858 Archived-At: Marco Grandis wrote in part: >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. >The category of abelian groups is (canonically) isomorphic to the category >of Z-modules. [further examples cut] In all of these examples (although obviously not all examples of isomorphisms), this is more than just an isomorphism; it's an isomorphism over Set. That is, it's an isomorphism in the slice category Cat/Set. It may seem beside the point, but in fact it is also important that it's an isomorphism in the full subcategory of Cat/Set whose objects are only the faithful functors to Set; call this the category Conc of CONCRETE categories. (So they are all concrete isomorphisms of concrete categories.) If you take a strictly speak-no-evil approach to category theory (perhaps even going so far as to found your mathematics on FOLDS), then it is impossible to state that two categories are isomorphic, because you must speak of equality of objects (or functors) to do this. In this approach, Cat and Cat/Set are bicategories but not categories. But it IS still possible to state that two concrete categories are isomorphic; the bicategory Conc is (up to equivalence) a locally posetal bicategory (so if you ignore the non-invertible transformations, it's a category). So it is possible (and necessary) to say, even when you speak no evil, that all of Marco's examples are concrete isomorphisms. So I agree that it is important that these are not mere equivalences, but I claim (playing the role of an equality-is-evil partisan) that what is important is not so much that they are isomorphisms as that they are concrete. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]