Collected works of William Lawvere

https://github.com/mattearnshaw/lawvere

Inappréciable.. un géant de la stature de Grothendieck… Lawvere est le fondateur du versant logique de la théorie des topoi, Grothendieck du versant géométrique

This entry was posted in category theory, Higher category theory, Higher topos theory, opposition monde véritable-monde imaginaire, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory). Bookmark the permalink.