Archives pour la catégorie Higher category theory

#HoTT current issues in The philosophy of practice of mathematics and informatic

Source : #HoTT current issues in The philosophy of practice of mathematics and informatic

Publicités

#UnificationOfMathematics Olivia Caramello sur les Topoi comme « ponts unificateurs »

Source : #UnificationOfMathematics Olivia Caramello sur les Topoi comme « ponts unificateurs »