Archives quotidiennes :

Toen : vers une axiomatisation de la théorie des catégories supérieures

via Bertrand Toen : vers une axiomatisation de la théorie des catégories supérieures

Publicités