categories - Category Theory list
 help / color / mirror / Atom feed
From: Steve Vickers <s.j.vickers@cs.bham.ac.uk>
To: Categories mailing list <categories@mta.ca>
Subject: Re: Harold Simmons
Date: Mon, 15 Oct 2018 18:27:46 +0100	[thread overview]
Message-ID: <E1gCXvF-0000d1-4S@mlist.mta.ca> (raw)
In-Reply-To: <E1gAmLd-0005MO-2a@mlist.mta.ca>

I had heard from Manchester people that Harold was very ill, but the news of  his death was still unexpected.

I knew Harold from the many valuable conversations that I had with him when I  was writing "Topology via Logic". He was always encouraging and helped me with quite a few technical issues of locale theory.

I say "locale theory", but it's perhaps more accurate to describe his particular approach as that of a frame theorist. I remember him as someone enthusiastic for the intrinsic algebraic interest of frames, a part of which was about using the lattice theory to get a better understanding of point-set topology, and with no patience for the dual language of locales - that would be obfuscation, failure to call a spade a spade.

Steve Vickers

> On 11 Oct 2018, at 21:10, ptj@maths.cam.ac.uk wrote:
> 
> I imagine there are many on the categories mailing list who would
> want to know this sad news. I've known Harold ever since the first
> meeting of the Peripatetic Seminar (May 1976): he was one of the select
> few who attended both the first and the 100th meeting.
> 
> Peter Johnstone
> 
> ---------- Forwarded message ----------
> From: Andrea Schalk <A.Schalk@manchester.ac.uk>
> Sent: 10 October 2018 16:22:22
> To: Nicola Gambino
> Subject: Harold
> 
> 
> Dear all,
> 
> you have recently visited Harold, or expressed an interest in
> visiting him.
> 
> I'm afraid I have to tell you that he died this afternoon. I had no
> idea that this might happen so soon.
> 
> For the moment I don't know what else to say.
> 
> Andrea
> 
> 
> 
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


  parent reply	other threads:[~2018-10-15 17:27 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-10-11 20:10 Fwd: " ptj
2018-10-13 13:31 ` Valeria de Paiva
2018-10-14 10:48   ` Thomas Streicher
2018-10-15 17:27 ` Steve Vickers [this message]
2018-10-19 13:12 ` Pedro Resende

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1gCXvF-0000d1-4S@mlist.mta.ca \
    --to=s.j.vickers@cs.bham.ac.uk \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).