categories - Category Theory list
 help / color / mirror / Atom feed
From: Matias M <matias.menni@gmail.com>
To: categories@mta.ca
Subject: Re: Pieter Hofstra
Date: Wed, 4 May 2022 16:59:49 -0300	[thread overview]
Message-ID: <E1nmPP8-0008G9-58@rr.mta.ca> (raw)

What an awful piece of news.

During his PhD, Pieter visited Genova while I was there and he shared a
flat above mine in the old town. He was not only a good neighbor but he
also became a good friend indeed. If I remember correctly, he had a degree
in Philosophy. His conversation was kind, clever and entertaining. We did
not always agree on academic matters but I always tried to meet with him
during the ct's to talk and recall our days in Italy under Pino's
protection. Last time was at the Bow Bar in Edinburgh where we talked about
his work with Jon and about how much he enjoyed being a father.

M.



> ---------- Forwarded message ---------
> De: Philip Scott <scpsg@uottawa.ca>
> Date: mar., 3 de mayo de 2022 2:46 p. m.
> Subject: categories: Pieter Hofstra
> To: categories@mta.ca <categories@mta.ca>
> Cc: Philip Scott <philip.scott@uottawa.ca>
>
>
> It is with great sadness that we announce that our dear friend and
> colleague Pieter Hofstra (1975-2022) passed away unexpectedly on May 1.
> Pieter obtained his PhD from Utrecht University, under Jaap van Oosten,
> studying realizability toposes. His research interests included general
> topos theory, realizability, inverse semigroups and groupoids, abstract
> computability, and homotopy type theory. Among his recent works, with J.
> Funk he introduced the notion of isotropy groups of toposes, which he was
> actively developing with students and colleagues.
>
> While Pieter was a brilliant researcher, a kind teacher and a caring
> supervisor, we will most remember him as a friend. When we have any
> details for a memorial service, we will pass them along.
>
> Richard Blute, Simon Henry, Philip Scott  (University of Ottawa)
>

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


             reply	other threads:[~2022-05-04 19:59 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-05-04 19:59 Matias M [this message]
  -- strict thread matches above, loose matches on Subject: below --
2022-06-01 10:38 Oosten, J. van (Jaap)
2022-05-11 15:57 Thomas Fiore
2022-05-05 16:10 Eugenia Cheng
2022-05-04 17:49 Jason Parker
2022-05-03 20:48 JS PL
2022-05-04 16:57 ` Joyal, André
2022-05-03 18:32 Philip Scott
2022-05-04 15:58 ` Jon Sterling
2022-05-04 21:11 ` Robin Cockett

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=E1nmPP8-0008G9-58@rr.mta.ca \
    --to=matias.menni@gmail.com \
    --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).