From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5887 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: isomorphisms Date: Sun, 30 May 2010 11:11:45 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1275265713 4775 80.91.229.12 (31 May 2010 00:28:33 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 31 May 2010 00:28:33 +0000 (UTC) Cc: "Eduardo J. Dubuc" To: Categories list Original-X-From: categories@mta.ca Mon May 31 02:28:32 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 1OIsrm-0003A1-8z for gsmc-categories@m.gmane.org; Mon, 31 May 2010 02:28:30 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OIsMT-0005X7-8L for categories-list@mta.ca; Sun, 30 May 2010 20:56:09 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5887 Archived-At: 2010/5/29 Eduardo J. Dubuc Expresses my main point when I quoted Grothendieck on equivalence and isomorphism. > isomorphisms appear not only in examples but are essential also in the > theory. > For example Grothendieck defines limits and colimits of categories (as > universal pseudocones) in SGA4 by means of an isomorphism of categories. > Same for toposes. When AG says "none of the equivalences we meet in practice are isomorphisms" he has in mind lots of examples that I will not even try to survey. (For a really simple one, the category of sheaves defined as espaces etales on on a topological space versus the category of sheaves defined as suitable functors on the site of open subsets.) But when he defines functor categories, or derived categories, and a lot of other things like that, he defines them up to unique isomorphism over the data. A topos E will often be defined only up to equivalence. But, given E, its derived category is defined up to unique isomorphism and one constantly uses the fact that various induced functors are isomorphisms. AG's practice constantly distinguishes isomorphisms from equivalences, and thus distinguishes identity of objects from isomorphism of them. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]