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

Originally posted on EuroCalifat:
PROLOGUE : Un vieux renard, mais des plus fins, Grand croqueur de poulets, grand preneur de lapins, Sentant son renard d’une lieue, Fut enfin au piège attrapé. Par grand hasard en étant échappé, Non pas franc,…

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 https://www.cl.cam.ac.uk/~rio22/pdf/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”: http://geoffroy.horel.org/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 dans “Higher topos … 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 ,