Category Archives: Science, mathesis

Bertrand Toen : vers une axiomatisation de la théorie des catégories supérieures

https://hal.archives-ouvertes.fr/hal-00772983/document Advertisements

Posted in ∞-catégories, category theory, Higher category theory, Science, mathesis, Science-internelle | Leave a comment

#HoTT : locally cartesian closed categories (LCCC)

Le papier de Seely « Locally cartesian closed categories and Type theory » http://www.math.mcgill.ca/rags/LCCC/LCCC.pdf Cet article revient sur celui de Seely en prouvant une biequivalence de 2-catégories des LCCC et des MLTT (Martin Lof type theories) Une catégorie C est dite localement … Continue reading

Posted in category theory, homotopy type theory, Science, mathesis | Leave a comment

#HoTT categorical models of dependent type theory

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.63.8051&rep=rep1&type=pdf http://www.cs.nott.ac.uk/~psxpc2/report-2013.pdf Différents modèles catégoriques de la théorie des types sont donnés : «  categories with families » ( = « categories with attributes »), comprehension categories, contextual categories

Posted in category theory, Higher category theory, homotopy type theory, Science, mathesis, Science-internelle | Leave a comment

Categories with families

C’est le cadre pour interpréter la théorie des types dépendants (dependent type theory), notion équivalente à celle de « category with attributes « , la définition est donnée ici : http://staff.math.su.se/palmgren/ErikP_Variants_CWF.pdf Cet article fait le lien avec les catégories localement cartésiennes fermées: … Continue reading

Posted in category theory, Grothendieck, Higher category theory, homotopy type theory | Tagged , | Leave a comment

#HOTT The Book : théorie des catégories et des précatégories

The HoTT Book Je saute d’un seul coup au chapitre 9 du livre page 317, parce que la formalisation de la théorie des catégories dans le cadre de la théorie homotopique des types est le point le plus crucial au … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle | Leave a comment

« Opération Lune «  : le film comico-délirant de William Karel 

C’est de là que sortent les rumeurs sur le bidonnage par Stanley Kubrick , en studio et sur Terre, des premiers pas de l’homme sur la Lune en 1969. C’est expliqué ici , comment à partir d’interviews réelles détournées on … Continue reading

Posted in Cinéma, DIEU, Philosophie, Science, mathesis, Science-internelle | Tagged , | Leave a comment

Unité, Infinité et Perfection : les trois facettes de l’Idée de Dieu

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/16/dieu-sans-letre/ Le sexe, thème de «  Eyes Wide shut » le dernier film de Stanley Kubrick , est aussi le fondement du plan vital des générations successives: https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=255903533631&st.retLoc=default&st.discType=MOVIE&st.mvId=255903533631&st.stpos=rec_1&_prevCmd=movieLayer&tkn=6086#lst# https://anthroposophiephilosophieetscience.wordpress.com/2016/10/16/stanley-kubrick-eyes-wide-shut-1999-en-vf/ La sexualité est profondément liée à la mort : https://anthroposophiephilosophieetscience.wordpress.com/2016/08/14/george-bataille-le-bleu-du-ciel-1935-le-jour-des-morts/ parce que … Continue reading

Posted in Cinéma, DIEU, Philosophie mathématique, Science, mathesis, Science-internelle, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment