Although I never met him in person, we exchanged communication around September. During our conversations, he was so kind! I was inspired by how he wrote mathematics, particularly his notes on category theory. May his soul rest in eternal peace. [https://ci3.googleusercontent.com/mail-sig/AIorK4yxMRS3yXcOoSH7tDGQ1RFTkzQUF...] Siyabonga Mthimkulu Heidelberg Laureate Forum Alumni Ph.D Student, Double Categories African Institute for Mathematical Sciences, 6 Melrose Road, Muizenberg 7945, Cape Town, South Africa. ________________________________________________________________________ "Ad Eundum Quo Nemo Ante Iit." — Star Trek ________________________________________________________________________ [https://ci3.googleusercontent.com/mail-sig/AIorK4wNcgBTleTno17Pv61-UHxMTFOIR...] On Fri, Jan 3, 2025 at 1:46 PM Oosten, J. van (Jaap) <J.vanOosten@uu.nl<mailto:J.vanOosten@uu.nl>> 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 | 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>