Monthly Archives: July 2017

Cosmoi et ∞-cosmoi

L’idée d’∞-cosmos , qui est la plus profondément étudiée par Riehl et Verity, a été introduite ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/01/19/scienceinternelle-8-∞-cosmoi/ Sa Page est ici : https://ncatlab.org/nlab/show/infinity-cosmos Un ∞-cosmos y est défini , pragmatiquement , comme “un bon endroit pour faire de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , ,

Henri Verneuil : Le président (1961, avec Jean Gabin)

À voir ici : https://m.ok.ru/video/194016250454 ******* https://fr.m.wikipedia.org/wiki/Le_Président_(film,_1961) Du temps où la France était encore française…Gabin -Beaufort,avec son idéal européen véritable (non financier, comme celui d’aujourd’hui) qui choisit le travail plutôt que le capital , l’avenir plutôt que le passé, est … Continue reading

Posted in Cinéma, FRANCE 2017, France-bordel | Tagged , ,

Marked Simplicial Sets – I

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: Marked Simplicial Sets – I

Posted in Philosophie

MACRON, LE RENARD AYANT LA QUEUE COUPEE

Posted in Philosophie

Emily Riehl #HoTT towards a synthetic theory of (∞,1)- categories

http://www.fields.utoronto.ca/talks/title-tba-102 Article associé: https://arxiv.org/abs/1705.07442 Events Click to access Fields-talk.pdf

Posted in ∞-catégories, ∞-cosmoi, homotopy type theory, Philosophie | Tagged ,

#HoTT #HigherToposTheory Quillen model categories

Ce papier titré “Procategories and homotopy theory”: Click to access Pro-categories.pdf Démarre en soulignant l’importance des “model categories ” de Quillen comme langage de la théorie de l’homotopie et donc pour HoTT. Cette notion , et ce langage, est étudiée … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged ,

#BrunschvicgAgesIntelligence 2 le “positivisme” de Comte

http://classiques.uqac.ca/classiques/brunschvicg_leon/ages_de_intelligence/brunschvicg_ages_intelligence.doc La philosophie de Comte est considérée par Brunschvicg comme trompeuse , Comte régresse en deçà de la “ligne de partage des Temps” instaurée par le cartésianisme : https://renatuscartesiusmathesisuniversalis.wordpress.com/descartes-la-ligne-de-demarcation-des-temps/ “On serait tenté de dire que Comte, en proclamant la Loi … Continue reading

Posted in Léon Brunschvicg, Philosophie, Science, mathesis | Tagged ,

Modules for Modalities

Originally posted on Homotopy Type Theory:
As defined in chapter 7 of the book, a modality is an operation on types that behaves somewhat like the n-truncation. Specifically, it consists of a collection of types, called the modal ones, together…

Posted in Philosophie

Modern physics formalized in modal HoTT

https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory Voir aussi: https://ncatlab.org/schreiber/show/Quantum+gauge+field+theory+in+Cohesive+homotopy+type+theory https://ncatlab.org/nlab/show/modal+type+theory Click to access 1703.03007.pdf

Posted in homotopy type theory, Physique

#Jerusalem: les démocrates ennemis du fascisme et du racisme doivent être aux côtés d’Israel

http://www.europe1.fr/international/a-lonu-israel-defend-ses-mesures-de-securite-a-jerusalem-3396788 Ce qu’il s’agit d’éviter, c’est une alliance ethnico-“religieuse” autour de “l’état juif” ..car l’alliance haineuse autour du NaziSSlam sera toujours plus importante. Finalement qu’est ce qu’un juif ? La réponse de la synagogue (“c’est quelqu’un de mère juive et … Continue reading

Posted in Bible, Coran, Islam, Israel, Philosophie