categories - Category Theory list
 help / color / mirror / Atom feed
From: Robin Cockett <robin@ucalgary.ca>
To: Philip Scott <scpsg@uottawa.ca>, categories net <categories@mta.ca>
Subject: Re: Pieter Hofstra
Date: Wed, 4 May 2022 21:11:10 +0000	[thread overview]
Message-ID: <E1nmPQZ-0008K3-6N@rr.mta.ca> (raw)
In-Reply-To: <E1nlySr-0003Pv-AW@rr.mta.ca>

This is very sad news indeed.   Pieter was a postdoc with me at Calgary 2005/6 before he moved (back) to Ottawa as a member of faculty.   While in Calgary he developed with me the theory of Turing categories (abstract computability).   Subsequently, we kept in touch and he was a frequent visitor at our home: I valued him not only as a colleague but also as a friend.

Pieter was very popular amongst the mathematicians at Calgary as he gave incredibly clear well-organized seminars on a wide variety of topics.  He was  also, for the same reason, a very popular teacher.

While at Calgary, Pieter supplemented his meager postdoc salary in a rather  unusual way.  He would play poker on-line.  He was incredibly disciplined about it ... and invariably walked away with a profit.   To him it all seemed very simple!   When he moved to Ottawa he started a course in gaming which I understand was very popular (although I rather doubt whether his students could bring the same discipline to it as Pieter).

I will miss him.

-robin
(Robin Cockett)
________________________________
From: Philip Scott <scpsg@uottawa.ca>
Sent: Tuesday, May 3, 2022 12:32 PM
To: categories@mta.ca <categories@mta.ca>
Cc: Philip Scott <philip.scott@uottawa.ca>
Subject: categories: Pieter Hofstra

[△EXTERNAL]



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


  parent reply	other threads:[~2022-05-04 21:11 UTC|newest]

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

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=E1nmPQZ-0008K3-6N@rr.mta.ca \
    --to=robin@ucalgary.ca \
    --cc=categories@mta.ca \
    --cc=scpsg@uottawa.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).