BOUNCE categories@mta.ca: Approval required:

BOUNCE categories@mta.ca: Approval required:

[Categories List]

>From rrosebru  Fri Jul 17 06:09:10 1998
Received: from emu.dpmms.cam.ac.uk (exim@emu.dpmms.cam.ac.uk [131.111.24.1])
	by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id GAA11712
	for <categories@mta.ca>; Fri, 17 Jul 1998 06:09:09 -0300 (ADT)
Received: from [131.111.24.25] (helo=owl.dpmms.cam.ac.uk ident=exim)
	by emu.dpmms.cam.ac.uk with esmtp (Exim 1.950 #4)
	id 0yx6Vi-0001Mr-00; Fri, 17 Jul 1998 10:09:02 +0100
Received: from ptj by owl.dpmms.cam.ac.uk with local (Exim 1.950 #4)
	id 0yx6Vh-0005lx-00; Fri, 17 Jul 1998 10:09:01 +0100
Subject: Re: categories: RE: Upper case and lower case
To: FEJLINTON/0004142427@MCIMAIL.COM (Fred E J Linton)
Date: Fri, 17 Jul 1998 10:09:01 +0100 (BST)
Cc: categories@mta.ca
In-Reply-To: <98071523384075/0004142427PV1EM@mcimail.com> from "Fred E J Linton" at Jul 15, 98 06:38:40 pm
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Message-Id: <E0yx6Vh-0005lx-00@owl.dpmms.cam.ac.uk>
From: "Dr. P.T. Johnstone" <P.T.Johnstone@dpmms.cam.ac.uk>

> 
> David Feldman erroneously credits to me an insight that is not mine, but
> Peter Johnstone's.  Cf. {Topos Theory}, p. 230:
> 
> > ... If we regard two distinct points having the same closure
> > as an instance of double vision (and an irreducible closed set with no
> > generic point as a species of pink elephant!), then the reason for the
> > term "sober space" will be apparent.
> 
> (Thanks, David, but credit where credit is due.)
> 
> -- Fred
> 
I can't claim the credit either: the wording above is mine, but I 
copied the idea from something written by Bill Lawvere. I can't now
find the reference, but I think it may have been in his 1976 Chicago
lecture notes on "Variable Sets, Etendu and Variable Structures in
Topoi" (of which I no longer have a copy).

Peter Johnstone

BOUNCE categories@mta.ca: Approval required:

[Categories List]

>From rrosebru  Wed Sep 23 02:05:51 1998
Received: from triples.math.mcgill.ca (rags@Triples.Math.McGill.CA [132.206.150.30])
	by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id CAA12200
	for <categories@mta.ca>; Wed, 23 Sep 1998 02:05:50 -0300 (ADT)
Received: from localhost (rags@localhost) by triples.math.mcgill.ca (8.8.5/8.6.10) with SMTP id BAA00039; Wed, 23 Sep 1998 01:09:15 -0400
X-Authentication-Warning: triples.math.mcgill.ca: rags owned process doing -bs
Date: Wed, 23 Sep 1998 01:09:15 -0400 (EDT)
From: "R.A.G. Seely" <rags@math.mcgill.ca>
To: Linear mailing list <linear@cs.stanford.edu>,
        Types List <types@cis.upenn.edu>, Categories List <categories@mta.ca>
Subject: URL update for Category group, Montreal (Lambek Festschrift, etc)
Message-ID: <Pine.LNX.3.95.980923005641.31750A-100000@triples.math.mcgill.ca>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

Recently there have been some security problems with the Montreal
Category Group's ftp site on triples.  This seems a good opportunity
to remind people that our old "ftp-based" URLs have been updated for
WWW use.  In particularly, the "official" URL for the group's WWW page
is (and has been for a while now)

      http://triples.math.mcgill.ca

(note the absence of the redundant "www" prefix)

Related URLs that are linked to this include the recent call for
papers for the Lambek Festschrift (deadline 31 Jan 1999)

     http://triples.math.mcgill.ca/lambek/LambekVol.html

as well as the current seminars of the group, and the table of
contents for the upcoming special issue of JPAA in honour of Mike Barr
("Barrfest").

     http://triples.math.mcgill.ca/~rags/seminar/
     http://triples.math.mcgill.ca/barrfest/bfpapers.html

(and other links of interest...)

The last time a note such as this went out, we promised to support the
"old" urls for a time - that time may be running out now, so we
encourage all interested to verify that your links and bookmarks are
up-to-date in this regard.  For the time being, any ftp to triples may
be unreliable, until the security issues are resolved.

= rags =
(Robert Seely)

<rags@math.mcgill.ca>
<http://www.math.mcgill.ca/~rags>

BOUNCE categories@mta.ca: Approval required:

[Categories List]

>From rrosebru  Fri Jul 17 08:33:25 1998
Received: from merlin.mat.uc.pt (merlin.mat.uc.pt [192.138.204.6])
	by mailserv.mta.ca (8.8.8/8.8.8) with ESMTP id IAA14259
	for <categories@mta.ca>; Fri, 17 Jul 1998 08:33:14 -0300 (ADT)
From: ct99@mat.uc.pt
Received: from matpc17.mat.uc.pt (matpc17.mat.uc.pt [192.138.204.149])
	by merlin.mat.uc.pt (8.9.0/8.9.0) with SMTP id MAA08118
	for <categories@mta.ca>; Fri, 17 Jul 1998 12:33:08 +0100 (WET DST)
Message-Id: <3.0.5.32.19980717124138.007a08e0@mat.uc.pt>
X-Sender: ct99@mat.uc.pt
X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32)
Date: Fri, 17 Jul 1998 12:41:38 +0100
To: categories@mta.ca
Subject: preliminary announcement
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"


===================================================================
                      PRELIMINARY ANNOUNCEMENT
===================================================================



                                CT99
                International Category Theory Meeting

                      Department of Mathematics
                        University of Coimbra
                          Coimbra,  Portugal
                           July 19-24, 1999



The Department of Mathematics of the University of Coimbra is organizing an
International Meeting on Category Theory to be held at the University of
Coimbra, from 19th to 24th of July, 1999.

The program will consist of conferences delivered by invited speakers and
contributed short talks. 

Scientific Committee:
--------------------

Jiri Adamek (Technische Universitat Braunschweig, Germany)
Bernhard Banaschewski (McMaster University, Canada)
Peter T. Johnstone (University of Cambridge, UK)
Andre Joyal (Universite du Quebec a Montreal, Canada)
F. William Lawvere (SUNY at Buffalo, USA)
Ross Street (Macquarie University, Australia)
Walter Tholen (York University, Canada)


Organizing Committee:
--------------------

Manuela Sobral (Universidade de Coimbra)
Maria Manuel Clementino (Universidade de Coimbra)
Jorge Picado (Universidade de Coimbra)
Lurdes Sousa (Instituto Politecnico de Viseu)
Goncalo Gutierres (Universidade de Coimbra)



-------------------------------------------------------------------


             School on Category Theory and Applications
                      Department of Mathematics
                        University of Coimbra
                          Coimbra,  Portugal
                           July 13-17, 1999


In the framework of Centro Internacional de Matematica (http://www.cim.pt)
the Department of Mathematics of the University of Coimbra is also
organizing a School on Category Theory and Applications from 13th to 17th of
July, 1999.
This school will consist of the following intensive courses, at a
postgraduate level:

n-Categories
  by John Baez (University of California, USA)

Algebraic Theories
  by M. Cristina Pedicchio (University of Trieste, Italy)

Chu Spaces: duality as a common foundation for computation and mathematics
  by Vaughan Pratt (Stanford University, USA).

-------------------------------------------------------------------
A detailed announcement of both events will be made in October.
-------------------------------------------------------------------

For further information mailto:ct99@mat.uc.pt