FWIW: Seeing just his name the subject, felt like a punch in the stomach... Thomas was something else. Many years ago while I was a student, studying topology and depedent type theory, Vladimir Voevodsky dropped the first versions of univalent foundations code and I immediately started playing around with this and emailed VV. This led to "discovering" Thomas' work and later I had the blessing to meet Thomas in person. We spoke extensively about all kinds of topics. What Neil said: such a sharp, funny person, he was extremely generous with his time and insights and he didn't judge (my lack of credentials). He held some incredibly deep views and was decades ahead of others. These conversations were very inspiring and meaningful to me and always stuck... Massive loss :-( On Fri, Jan 3, 2025, 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>