Homotopy type theory for mathematicians
星期四, 4 二月, 2021 - 从 15:30 到 16:30
Résumé :
Homotopy type can be regarded as the new foundation of maths, replacing the notion of set. We introduce two basic aspects of type: "Spaces as types" in homotopy theory and "Propositions as types" in logic. Then we show some examples of Proof Assistant(LEAN) based on type theory.
Part 2
Institution de l'orateur :
IF
Thème de recherche :
Compréhensible
Salle :
Salle 4/Zoom