This is a very sad news indeed ... Like many of us, his patience and generosity provided inestimable support to me, scientifically and beyond. I will miss warm and generous discussions. Always frank and sharp, assuming the best from his interlocutor (or opponent!). Engaged without quarrelling, and of course ending with some good meal and beer! I regret not to have visited him since the pandemic... It provides comfort to me that he meant so much to so many of us! My deepest condolences to his wife Eva. Colin Le 2025-01-03 10:04, Oosten, J. van (Jaap) a écrit :
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 [1] | Leave group [2] | Learn more about Microsoft 365 Groups [3]
Links: ------ [1] https://url.au.m.mimecastprotect.com/s/LGqVCyoj8Pur0zM1GFZfySxjrCs?domain=ou... [2] https://url.au.m.mimecastprotect.com/s/-ZP4CzvkmpfMxp21XSXhoS9z9LR?domain=ou... [3] https://url.au.m.mimecastprotect.com/s/kfuICANpnDCNn3WQxI9i5SGxlup?domain=ak...