I met Thomas Streicher, in Darmstadt, when I was a PhD student at Imperial in the last millennium, and then multiple times in mutual visits to Darmstadt, Edinburgh and Birmingham, in addition to many conferences/workshops. We wrote a couple of papers together. One thing I liked about our interactions is that we never argued, and yet he was very much against constructive mathematics and also HoTT/UF, even though he was fond of studying the (categorical) meta-theory of both. Since the pandemic started in 2020, we met a number of times by Zoom for virtual pub meetings on Fridays, sometimes only the two of us, and sometimes with guests. I am glad I had an opportunity to meet him by Zoom for half an hour a week before Christmas. He knew his fate, but otherwise it was just as usual, with him asking, in particular, how a student he sent to Birmingham is doing, and then telling me what he was thinking about in mathematics, and asking me what I was doing. Thomas was a great friend for about 30 years, and I will miss him forever. I am so sad. M. On 03/01/2025 09:04, Oosten, J. van (Jaap) wrote: 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<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>