Tag Archives: Emily Riehl

#HoTT simplicial categories, Segal spaces and Segal categories

https://arxiv.org/abs/1503.02720 Click to access CSSFunctors.pdf Voir aussi le livre d’Emily Riehl Click to access cathtpy.pdf Et les travaux d’André Joyal Click to access Joyal-TACL2015.pdf #HoTT André Joyal : la notion de typos André Joyal #HoTT : simplicial tribes #HoTT : André Joyal … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Science-internelle | Tagged , , , , | Comments Off on #HoTT simplicial categories, Segal spaces and Segal categories

Thèse : towards an (∞,2)-category of coherent monads in an ∞-cosmos

Click to access EPFL_TH7748.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , | Comments Off on Thèse : towards an (∞,2)-category of coherent monads in an ∞-cosmos

Ensembles (sets) et #HoTT

Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »: « homotopy type theory : The Logic of space «  Click to access 1703.03007.pdf La théorie des « espaces synthétiques » est expliquée sommairement … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Théorie des ensembles (set theory) | Tagged , , , , , | Comments Off on Ensembles (sets) et #HoTT

#∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

Click to access comprehension.pdf Les ∞-cosmoi doivent être vus comme des “Univers d’Idées”, puisque les objets de ces catégories simpliciale sont pas définition les ∞-catégories, qui sont ici les Idées, ou les mathèmes d’Idées . Il existe plusieurs exemples précis … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , | Comments Off on #∞-cosmoi : nouveau travail de Dominic Verity et Emily Riehl : “The comprehension construction”

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Lorsque j’ai créé ce blog, il n’y a pas si longtemps de cela, je ne connaissais même pas ce nom : HoTT = homotopy type theory = théorie homotopique des types, encore moins en quoi consistait cette “nouvelle fondation” des … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , , | Comments Off on #HoTT : théorie homotopique des types une révolution des mathématiques ?

La théorie de l’homotopie de Grothendieck

Je me borne à donner le lien , pour celles et ceux que cela pourrait intéresser: Click to access prstnew.pdf mais je ne me sens pas de taille actuelllement à me colleter avec la pensée, extrêmement subtile et profonde de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, homotopy type theory, Philosophie | Tagged , , , , , , | Comments Off on La théorie de l’homotopie de Grothendieck

Cosmoi et ∞-cosmoi

L’idée d’∞-cosmos , qui est la plus profondément étudiée par Riehl et Verity, a été introduite ici : #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 … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged , , , | Comments Off on Cosmoi et ∞-cosmoi

Le trajet philosophique et mathématique de William Lawvere vers l’Aufhebung de Hegel 1

La page du Nlab est ici: https://ncatlab.org/nlab/show/Aufhebung Elle est très développée et auto-suffisante. L’Aufhebung est une notion centrale de la philosophie de Hegel, généralement traduite par “relèvement”, “relève “, “conservation-suppression”, “élévation”… http://www.philomag.com/les-idees/aufhebung-21357 https://fr.m.wikipedia.org/wiki/Subsomption On en trouve un exemple à la … Continue reading

Posted in Philosophie | Tagged , , , , | Comments Off on Le trajet philosophique et mathématique de William Lawvere vers l’Aufhebung de Hegel 1

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: Click to access highertopoi.pdf Le dernier article … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , , | Comments Off on De #HigherToposTheory à #HomotopyTypeTheory

“IF” de Lindsay Anderson (1968) et le verset 4;7 des Proverbes

Le très beau film de Lindsay Anderson, sorti en décembre 1968: https://fr.m.wikipedia.org/wiki/If…. est visible ici en vostfr , en une playlist de 7 vidéos: http://www.dailymotion.com/playlist/xmpmy_edgarette_if-lindsay-anderson-vostf/1#video=x6ljjy Il est introduit par une citation du chapitre 4 , verset 7 des Proverbes: http://otremolet.free.fr/otbiblio/bible/ancien/proverbes/pr4.htmlContinue reading

Posted in African Spir, Anthroposophie, ∞-catégories, ∞-cosmoi, ∞-topoi, Bible, category theory, Cinéma, Cochet-Brunschvicg, Descartes, DIEU, Europe, Féminisme, Fichte, FRANCE 2017, Grothendieck, Higher category theory, Higher topos theory, Léon Brunschvicg, Macrollande-dictature, Malebranche, Merde in France, Ouvert : dualité plan vital-plan spirituel, Philosophie, Religions, Science, mathesis, Science-internelle, Shabbatai Tsevi-Jacob Frank-Hitler-nazaréens-islam, Spinoza, Wronski | Tagged , , , , , , , , , , , , , | Comments Off on “IF” de Lindsay Anderson (1968) et le verset 4;7 des Proverbes