Thomas was the inspiration why I took up category theory when I started my PhD. I had not encountered CT before. I started my PhD on modal and temporal logic, moving from the TU Munich to the LMU, which is where I met Thomas as he was still at the LMU at the chair of Martin Wirsing at the time, working with Bernhard Reus. This was in 1995. A highlight I remember well, in April 1999, we organized a Spring School in Munich where Thomas lectured on Fibered Categories (and Giuseppe Rosolini on Sheaves and Martin Hyland on Categorical Logic and Type Theory). Over the years, every now and then, I had a question on CT and Thomas always took the time to explain everything. He once even added sth to his notes on fibred category as an answer. Last time I met him was less than a year ago on zoom and I still remember vividly the inspiration and energy I got from talking to him. My thoughts go to all who have been much closer to Thomas than me. Alexander ---------- You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27