Oh man Oh man. Thomas was a personal friend and every time he was in Paris we'd make sure to have dinner together. Most of the times he'd choose the restaurant, except the very last time, when we walked atound the neighborhood of his hotel and picked a swell beer bar in the Butte aux Cailles. I visited him and Eva several times in Darmstadt and we drove around the countryside, Right now I'm having flashes of conversations we'd had. Last time I saw him was a chance meeting on the street. He was walking back to Gare de l'Est and told me he had time to kill before his train would leave. One or two days after that last one of those dinners. So I showed him the neighborhood and we had a beer at a sidewalk café. It was a sunny day. I would worry about his health, you know. RIP Thomas François On Friday, January 3rd, 2025 at 10:04 AM, Oosten, J. van (Jaap) <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>