Unfortunately, I had little opportunity to talk with Thomas in person. But I was blessed to have many email conversations with him, on and off the categories and homotopy type theory mailing lists about type theory, set theory, fibrations, replacement axioms, universes, toposes, and many other topics. He was always generous with his ideas, insights, and his time, even when I was an undistinguished graduate student -- once he photocopied and sent me by "yellow mail" an unpublished monograph that anticipated something I was working on. Looking back at some of those emails now, what impresses me is his intellectual courage and honesty: he was never shy about stating and arguing for his opinion, or about asking a question about something he didn't understand, and was always willing to learn as well as to share his own considerable knowledge. I will miss him, and the community is poorer for his loss. 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>