Thomas has been my mentor, on from my second semester as an undergraduate in Darmstadt more than 15 years ago, all through the years of a pandemic PhD, and up until these last months. In the summer/fall 2009, shortly after his eager and very warm reply to me cold-emailing him about some questions for references in category theory and the course curriculum, I had the immense pleasure to starting to attend his course cycle on category theory, categorical logic, realizability, and domain theory. His direct style in lectures and conversations were immediately compelling to me. I am grateful for the countless hours in which Thomas taught me (fibered) category theory, type theory, and logic from his unique point of view, always with tireless, joyful enthusiasm. Being such a curious person himself, he taught me to never stop asking questions, be it in mathematics or other aspects of life. When possible, our discussions would lead from his office to a café, and then to a bar. His calm but lively demeanor and very Austrian humor always provided joy and relief, particularly during stressful phases. As an advisor, he would not get tired answering any (repeated) question that I had, and he would always foster my academic autonomy. I cannot imagine how my academic life would have turned out without such a brilliant, supportive, encouraging, attentive, passionate, generous, patient, funny, and heartfelt mentor such as Thomas. I am deeply sad for the loss of such an inspiring and dear person for Eva, the community, and anyone who knew or was close to him. Thomas, I hope you got to see some light in these last dark months. I will miss you forever. Jonathan Am Fr., 3. Jan. 2025 um 22:10 Uhr schrieb Robin Cockett <robin@ucalgary.ca<mailto:robin@ucalgary.ca>>: This is indeed a tragic loss to the category theory community ... I did not know Thomas Streicher well. However, I do remember being on a bus with him from Luminy to Marseille and falling into conversation with him: it left a lasting impression. It was a bit like falling into a black hole consisting of a unique mixture of humor and totally encyclopedic knowledge. The bus trip was altogether too short ... My condolences to his family. -robin (Robin Cockett) ________________________________ 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>