At the Voevodsky memorial conference last week, there were some nice intros to univalent foundations and talks on current research by Deligne, Joyal, Ahrens, @emilyriehl, Shulman, and me. Videos here:https://www.youtube.com/playlist?list=PLCA9C279868C62EB1 …
-
-
Not the other way round? *Scratches head*
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.