"And I even know David Spivak, and know some of his work with Brendan Fong."
Cool. He and I knew each other briefly when he was at the University of Oregon. Around the time David was learning topos theory, he, my buddy Ralf (who was in the math grad program there at the time) and I worked through some examples together.
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn UTC-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
