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/ ]