Archives mensuelles : août 2017

André Joyal : categorical #HoTT 2

Source : André Joyal : categorical #HoTT 2

Publicités

Fichte : l’être et l’esprit; la perception est un jugement. #HoTT

Source : Fichte : l’être et l’esprit; la perception est un jugement. #HoTT

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Source : #HoTT : théorie homotopique des types une révolution des mathématiques ?

Ce blog est « universaliste et laïque  » mais pas « de gauche » ni féministe

Source : Ce blog est « universaliste et laïque  » mais pas « de gauche » ni féministe