Archives pour la catégorie Alexandre Grothendieck

Alexandre Grothendieck , magicien des foncteurs

Publicités

HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite

Source : HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite

Y a t’il une bulle de #HomotopyTypeTheory ?

Source : Y a t’il une bulle de #HomotopyTypeTheory ?