That's extremely sad news. It was always a privilege to meet Thomas at conferences and other events. He had an amazing sense of humour and was extremely patient and generous with his time. The influence he had on HoTT (which he wasn't even convinced of) is hard to overestimate. I send my sincere condolences to his family. Nicolai On Fri, Jan 3, 2025 at 11:02 PM Maria Emilia Maietti <maietti@math.unipd.it<mailto:maietti@math.unipd.it>> wrote: Dear all I would like to thank life for having met Thomas Streicher and having found in him a unique expert in solving problems in type theory with categorical methods. In particular, as a last thing of collaboration, I am very grateful to him for joining us in organizing the workshop on Doctrines and Fibrations, dedicated to Lawvere, in May 2023 in Padova https://events.math.unipd.it/WDF2023/#com. Deep condolences to Eva. Milly On 03/01/25 10: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 | 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>