Tag Archives: Rudolf Carnap

Help with #HoTT

C’est ici : https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory A noter le cours d’Awodey sur les catégories : Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap : Steve Awodey est … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique | Tagged , ,