Media Summary: Talk by Kobe Wullaert (TU Delft), at the Antwerp Algebra Colloquium on March 11, 2022. In 1874, (naive/Cantorian) set Thank you mic okay in the back cool okay so what I want to tell you about today is this homotopy In this series we develop an understanding of the modern
Type Theory Foundations 3 0 - Detailed Analysis & Overview
Talk by Kobe Wullaert (TU Delft), at the Antwerp Algebra Colloquium on March 11, 2022. In 1874, (naive/Cantorian) set Thank you mic okay in the back cool okay so what I want to tell you about today is this homotopy In this series we develop an understanding of the modern Speaker: Emily Riehl, Johns Hopkins University Date: October 18th, 2022 Abstract: ...
