Tag Archives: Lawvere

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

Posted in category theory, Hegel, Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) | Tagged ,

Le Bien, le Mâle , le #Burkini

C’est fou ce que la Liberté et la Femme ont d’amis et de défenseurs depuis que la polémique internationale sur le Burkini a éclaté il y a quelques jours… Cela commence par le maire musulman de Londres, Sadiq Khan, qui … Continue reading

Posted in Alain Badiou, category theory, Coran, Europe, Fichte, Higher topos theory, Léon Brunschvicg, Leibniz, Malebranche, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Religions, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics, USA, Wronski | Tagged , , , , , , , , , , , , , , ,