I am so sad to hear this tragic news about Thomas. Thomas was very kind and encouraging to me over the years, and made me feel welcome in this community; I imagine he had this impact on many other young people finding their way. In addition to his momentous scientific contributions that I owe my career to, Thomas was also a great conservator of important knowledge that might otherwise have been lost had he not intervened. Sincerely, Jon On Fri, Jan 3, 2025, at 12:09 PM, Neil Ghani 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> *Sent:* Friday, January 3, 2025 11:47 am *To:* categories@mq.edu.au <categories@mq.edu.au> *Cc:* Oosten, J. van (Jaap) <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