Archives pour la catégorie Category theory

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

De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos

Source : De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos