From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10734 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Matias M Newsgroups: gmane.science.mathematics.categories Subject: Re: Pieter Hofstra Date: Wed, 4 May 2022 16:59:49 -0300 Message-ID: Reply-To: Matias M Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10142"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu May 05 02:33:00 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nmPQR-0002P6-Hm for gsmc-categories@m.gmane-mx.org; Thu, 05 May 2022 02:32:59 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:59048) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nmPPU-0006Jq-8P; Wed, 04 May 2022 21:32:00 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nmPP8-0008G9-58 for categories-list@rr.mta.ca; Wed, 04 May 2022 21:31:38 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10734 Archived-At: 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 > Date: mar., 3 de mayo de 2022 2:46 p. m. > Subject: categories: Pieter Hofstra > To: categories@mta.ca > Cc: Philip Scott > > > 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/ ]