Archives pour la catégorie HoTT

Laurent Lafforgue : l’importance des topoi de Grothendieck

youtu.be/Wmhwaso_b3M

Les catégories comme Idées mathématiques (« Platonic forms »)

via Les catégories comme Idées mathématiques (« Platonic forms « )