W Lawvere : quantifiers and sheaves

https://pdfs.semanticscholar.org/6630/846a00261a071b71e264e0f532e29cd9152f.pdf

 

This entry was posted in category theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Théorie des topoi (topos theory). Bookmark the permalink.