Archives pour la catégorie n-catégories

(∞,n)-catégories et (∞,1)-catégories

https://anthroposophiephilosophieetscience.wordpress.com/2017/11/04/∞n-categories-et-∞-1-categories/

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

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

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

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Source : Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Matin Etchegoyen : de l’unité

Source : Matin Etchegoyen : de l’unité