Monthly Archives: February 2018

#HoTT : locally cartesian closed categories (LCCC)

Le papier de Seely « Locally cartesian closed categories and Type theory » Click to access 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 … Continue reading

Posted in category theory, homotopy type theory, Science, mathesis

#HoTT categorical models of dependent type theory

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.63.8051&rep=rep1&type=pdf Click to access 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

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 : Click to access ErikP_Variants_CWF.pdf Cet article fait le lien avec les catégories … Continue reading

Posted in category theory, Grothendieck, Higher category theory, homotopy type theory | Tagged ,

#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

Une interprétation des apparences surnaturelles dans « Shining » de Stanley Kubrick (1980)

En vf : https://sokrostream.cx/films/shining-83016.html (Choisir uptostream) Dans « Shining » classé à raison comme film d’horreur et d’epouvante , Jack Torrance est un écrivain cherchant l’inspiration pour « trouver des idées » pour son prochain roman. Cependant c’est aussi un alcoolique qui a démis … Continue reading

Posted in Cinéma

« 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 ,

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

Kubrick’s ‘Fear and Desire’ finally sees official release

Originally posted on Independent Ethos:
It took many years after his death, but director Stanley Kubrick’s disowned debut feature has now finally seen official release. Thanks to restoration work by the Library of Congress for Audio Visual Conservation in Culpeper, Virginia…

Posted in Cinéma

Stanley Kubrick : dans une forêt obscure..

J’ai déjà écrit plusieurs fois sur « Fear and desire «  (1952) le premier film de Stanley Kubrick: https://tractatustoposophicus.wordpress.com/2012/11/15/fear-and-desire-de-stanley-kubrick-un-chef-doeuvre-absolu/ https://anthroposophiephilosophieetscience.wordpress.com/2017/09/13/stanley-kubrick-fear-and-desire-v-o-st-fr-1952/ C’est un film que Kubrick détestait et qu’il aurait voulu détruire, sans doute parce que Kubrick n’y faisait pas encore du … Continue reading

Posted in Cinéma, Cochet-Brunschvicg, Descartes, DIEU, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Sidney Lumet : point limite (failsafe) 1964 vf

https://m.ok.ru/video/192481266262 Sorti la même année que le Docteur Folamour sur le même sujet (le conflit nucléaire Est- Ouest ) le film de Lumet est à mon avis nettement plus crédible et plus effrayant que celui de Kubrick, ou, sur le … Continue reading

Posted in Cinéma