William Lawvere : Tools for the advancement of objective Logic: closed categories and toposes

https://github.com/mattearnshaw/lawvere/blob/master/pdfs/1994-tools-for-the-advancement-of-objective-logic-closed-categories-and-toposes.pdf

https://ncatlab.org/nlab/show/Tools+for+the+advancement+of+objective+logic

https://ncatlab.org/nlab/show/objective+and+subjective+logic

Advertisements
This entry was posted in category theory, Hegel, Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) and tagged , . Bookmark the permalink.