Oh no, Thomas Streicher, who was a great friend and mentor to me, passed way yesterday. Thomas was always very supportive (though often skeptical in a mentoring way), and brought me to Darmstadt, where I spent six wonderful years. He’s known for finding, with the also late Martin Hofmann, the groupoid model of Martin-Löf type theory. He saw it as a nonstandard model, but it paved the way for homotopy type theory and univalent mathematics. I will miss him dearly!
=> More informations about this toot | More toots from buchholtz@mathstodon.xyz
@buchholtz I met Thomas 5 years ago in Herrsching, Germany. We had quite a few interesting chats and I remember him asking some of the more thought provoking questions during the seminars.
=> More informations about this toot | More toots from alizter@mathstodon.xyz
text/geminiThis content has been proxied by September (3851b).