Category Archives: EHTT

Arbogast : du calcul des dérivations (1800)

https://books.google.fr/books?id=FNK-Pmjul-IC&pg=PA364&lpg=PA364&dq=derivations+arbogast+kramp&source=bl&ots=0zv_KBhyhG&sig=ACfU3U3nD5t5QT5yLTsncA4pbf1XdYvlpw&hl=fr&sa=X&ved=2ahUKEwitpejJj83jAhUSzYUKHRfdD1gQ6AEwAnoECAYQAQ#v=onepage&q=derivations%20arbogast%20kramp&f=false (On peut télécharger en pdf gratuitement) http://serge.mehl.free.fr/chrono/Arbogast.html https://calcul.math.cnrs.fr/attachments/journee-da-2019/expo_gdr_calcul_2018.pdf Wronski ( dans Prospectus de la philosophie absolue) : »La technie des mathématiques, étant fondée par opposition à la théorie, sur une nouvelle division scientifique, établie par la loi de création, … Continue reading

Posted in African Spir, category theory, Cochet-Brunschvicg, EHTT, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, nazisme, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Shabbatai Tsevi-Jacob Frank-Hitler-nazaréens-islam, Théorie des ensembles (set theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

#HTTUF Benedikt Ahrens : univalent foundations and the equivalence principle

https://video.ias.edu/VoevodskyMemConf-2018/0912-BenediktAhrens À la fois la vidéo et le fichier pdf attaché, pour mieux suivre

Posted in EHTT, homotopy type theory

Categorical structures for Type theory in univalent foundations

https://hal.inria.fr/hal-01579271/document

Posted in category theory, EHTT, Higher category theory, homotopy type theory, Type theory

#HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Cet article trace le parallèle entre le livre « Homotopy type theory Univalent foundations »: https://aperiodical.com/2013/06/homotopy-type-theory-a-new-foundation-for-21st-century-mathematics/ The HoTT Book Et les « Principia mathematica » de Whitehead et Russell, qui fonde les mathématiques du siècle dernier, et qui est ici : https://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/23?view=image&size=100 (En forme … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

#EHTT #HoTT Summer school on higher topos theory and univalent foundations Leeds June 2019

https://conferences.leeds.ac.uk/httuf/ Quand je vous disais que c’est le nouveau Far West.. HTTUF univalent foundations c’est JoTT .. HTT c’est(elementary ) higher topos theory . Je crois que je vais aller y faire un tour, ce sera toujours mieux que Paris, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory

#EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

Le texte des slides est ici : https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468 Il reprend cette conférence : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf que j’ai commentée ici : https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/ https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/ Mais la vidéo du cours est ici :

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle

#EHTT Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

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