Archives pour la catégorie topoi

La triade des éléments primitifs de Wronski en relation avec les deux voies

Source : La triade des éléments primitifs de Wronski en relation avec les deux voies

Publicités

Le langage du système de Bolzano 1

Source : Le langage du système de Bolzano 1

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