Toot

Written by Ulrik Buchholtz on 2025-01-03 at 09:31

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 | View the thread | More toots from buchholtz@mathstodon.xyz

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113763725288312618
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
223.817064 milliseconds
Gemini-to-HTML Time
0.212773 milliseconds

This content has been proxied by September (ba2dc).