Daily Archives: September 23, 2017

What’s Special About Identity Types

Originally posted on Homotopy Type Theory:
From a homotopy theorist’s point of view, identity types and their connection to homotopy theory are perfectly natural: they are “path objects” in the category of types. However, from a type theorist’s point of…

Posted in Philosophie

#HoTT for philosophers

https://www.st-andrews.ac.uk/philosophy/events/?eventid=791 https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy http://philsci-archive.pitt.edu/11143/

Posted in homotopy type theory, Philosophie

Le désastre du Vietnam se produira en France au 21 eme ou 22 eme siècle

Le grand philosophe et grand européen Bertrand Russell ( qui était pacifiste et “de gauche”) rangeait l’islam parmi les pires des fascismes, comme le stalinisme et le nazisme. Or nous ne devons pas nous voiler la face : l’islam a … Continue reading

Posted in Crise migratoire, Europe, Islam | Tagged

La montée du mental vers l’Esprit

https://fr.m.wikipedia.org/wiki/Préfaisceau_(théorie_des_catégories) Si la catégorie Setop est le mathème du mental individuel et si Cat est celui de l’esprit unifiant, de l’Un: https://anthroposophiephilosophieetscience.wordpress.com/2016/08/25/la-metacategorie-cat-de-toutes-les-categories-comme-modele-mathematique-du-monde-des-idees-de-platon/ les foncteurs : Setop → Cat Qui forment une catégorie de préfaisceaux , notée : PShCat(Set) (Ces foncteurs … Continue reading

Posted in category theory, Higher category theory, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

La catégorie CABA des algèbres de Boole atomiques complètes

En Page 6 de l’article déjà étudié de Vaughan Pratt , est établie l’équivalence catégorique de la catégorie Setop ( qui représente le mental individuel) et de la catégorie CABA : https://ncatlab.org/nlab/show/complete+Boolean+algebra

Posted in category theory, Chu spaces, Higher category theory, Higher topos theory

Musulmans: est-ce que c’est ça l’islam ?

Originally posted on Salem Ben Ammar:
L’islam était apparu avant le big bang. L’islam n’a jamais aboli les 10 commandements. L’islam n’a jamais décrété qu’il clôt la chaîne des religions révélées. L’islam reconnaît tous les prophètes. l’islam est la religion…

Posted in Philosophie