Archives pour la catégorie topoi

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

Les travaux de William Lawvere sur les topos cohésifs 1

Source : Les travaux de William Lawvere sur les topos cohésifs 1

Axiomatic cohesion in HOTT

Source : Axiomatic cohesion in HOTT

Déjà en 1983 Badiou annonçait la « recomposition politique » de la #Macrollandie actuelle

Source : Déjà en 1983 Badiou annonçait la « recomposition politique » de la #Macrollandie actuelle