From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5865 Path: news.gmane.org!not-for-mail From: "Prof. Peter Johnstone" Newsgroups: gmane.science.mathematics.categories Subject: Re: we do meet isomorphisms of categories Date: Thu, 27 May 2010 10:29:09 +0100 (BST) Message-ID: References: Reply-To: "Prof. Peter Johnstone" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1275151220 25250 80.91.229.12 (29 May 2010 16:40:20 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 29 May 2010 16:40:20 +0000 (UTC) To: Marco Grandis Original-X-From: categories@mta.ca Sat May 29 18:40:16 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 1OIP54-0003Vs-Cm for gsmc-categories@m.gmane.org; Sat, 29 May 2010 18:40:14 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OIOXG-0005T4-CA for categories-list@mta.ca; Sat, 29 May 2010 13:05:18 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5865 Archived-At: Yes, we do meet isomorphisms of categories; my favourite algebraic example is the isomorphism between (Boolean algebras) and (Boolean rings), and another good one is the isomorphism between (finite T_0-spaces) and (finite partial orders). But there's a sense in which these isomorphisms are "accidental", arising from the fact that both categories are based on the same category of sets, and in practice (so far as I know) one never makes use of the fact that they are isomorphisms rather than mere equivalences. An even better example occurs in realizability. Some years ago on this list I queried the need for the condition "Sxy is defined for all x and y" in the definition of a partial combinatory algebra, and John Longley came up with a beautiful proof that, given a "weak pca" A which fails to satisfy this condition, there is a pca A' which does satisfy it, such that the category of A-valued assemblies is *identical* (not just equivalent, or even isomorphic) to the category of A'-valued assemblies. (Details can be found in Jaap van Oosten's book.) The accident arises in this case from the fact that A' happens to have the same underlying set as A. But, once again, I don't know of any use for the fact that the correspondence between the categories of assemblies is anything more than an equivalence. Peter Johnstone --------------------------- On Mon, 24 May 2010, Marco Grandis wrote: > 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/ ]