Dear colleagues, Thomas was a dear colleague: he and his wife were good friends, many years ago. We knew each other from the days of his ground-breaking thesis on Categorical models for dependent type theory. We were both grad students at the time and we had interesting talks on realizability. Later I had some contact with him and Martin Hoffman, also sadly gone... Just last summer we exchanged emails about getting together for a beer (I think St. Augustiner was his favorite) next summer. His influence on my outlook on dependent types and realizability, and his encouragement played a big role in my research. And our discussions ranged far and wide on many other topics besides math and CS: the Frankfurt school of social research, current literature... I am deeply saddened by his untimely passing. Thanks Jaap for your kind words... Jim Lipton On Fri, Jan 3, 2025 at 1:11 PM Neil Ghani <neil.ghani@strath.ac.uk<mailto:neil.ghani@strath.ac.uk>> wrote: I'm so gutted. Thomas was an exceptional category theorist but also an exceptional human being. He had a brilliant sense of humour and we loved laughing about the oddities of mathematics. A terrible start to 2025. Neil Sent from Outlook for iOS ________________________________ From: Oosten, J. van (Jaap) <J.vanOosten@uu.nl<mailto:J.vanOosten@uu.nl>> Sent: Friday, January 3, 2025 11:47 am To: categories@mq.edu.au<mailto:categories@mq.edu.au> <categories@mq.edu.au<mailto:categories@mq.edu.au>> Cc: Oosten, J. van (Jaap) <J.vanOosten@uu.nl<mailto:J.vanOosten@uu.nl>> Subject: Thomas Streicher I just received information that Thomas Streicher passed away yesterday. Thomas fell ill last September, when he could not attend Pino Rosolini's retirement party due to pneumonia; then it turned out he has metastases in the lungs from a pancreatic cancer. After several chemo treatments his situation suddenly worsened, and yesterday he died, peacefully, without pain. Thomas was 66 years old. In Thomas, we mourn a logician and category theorist of exceptional calibre. Let me just recall that in 2011, during an Oberwolfach meeting, Vladimir Voevodsky praised Thomas' work on type theory as a paradigm of precision. But I personally mourn a friend. A warm person with many interests. I wish strength to his wife Eva, and his family. Jaap van Oosten You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>