Archives pour la catégorie Bible et nombres

L’ontologie explicite des théorèmes d’existence en mathématiques

« Pas pleurer » de Lydie Salvayre : l’article au vitriol de Stalker

Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Comme je l’ai dit récemment, je profite de cette période de confinement pour enfin étudier sérieusement le dernier Grand Œuvre de Badiou : L’immanence des vérités, qui constitue le tome 3 de « L’être et l’événement «  , la somme philosophique de Badiou.

Je ne crois pas que j’aurai fini en un mois, car ce n’est pas un livre que l’on lit comme un roman de gare.

Je m’aperçois que cet ancien article :

https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/

Forme un préalable à l’étude de ce livre, car Badiou privilégie la théorie des ensembles sur la théorie des catégories comme il s’en explique dans l’introduction générale à « L’immanence des vérités » page 19 , où il précise qu’il a étudié la théorie des catégories pendant des années pour conclure «  que l’on peut et doit maintenir que le niveau de l’ontologie comme telle est la théorie des multiplicités, mais que l’on doit admettre…

Voir l’article original 383 mots de plus

Robert Aldrich : « En quatrième vitesse » ( Kiss me deadly vf) 1955

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://libertyvf.biz/films/streaming/8449-en-quatrieme-vitesse.html

(en cliquant sur uptostream en haut on a la vf, en cliquant sur uqload en dessous on a la vostfr)

Ce que décrit Aldrich dans ce qui ressemble à s’y méprendre à un film noir, ce n’est rien moins que la fin du monde : une réaction nucléaire en chaîne, qui se propage, à partir d’une villa de luxe située au bord de la mer, en Californie , appartenant à un médecin pessimiste sur le devenir de l’humanité, qui connaît bien la mythologie, le Dr Soberin, acoquiné avec des gangsters et un marchand d’art, William Mist , auquel il fournit de puissants somnifères, lui permettant d’échapper aux interrogatoires.

L’ actrice qui joue   Lily Carver, la compagne de Christina Bailey, n’est autre que Gaby Rodgers :

https://fr.m.wikipedia.org/wiki/En_quatrième_vitesse

https://en.m.wikipedia.org/wiki/Gaby_Rodgers

née en Allemagne, en 1928, de son vrai nom Gabrielle Rosenberg, qui était de la famille d’Edmund Husserl («Rodgers was the…

Voir l’article original 2 534 mots de plus

Théorie des ensembles et théorie des catégories

#∞-cosmoi #ScienceInternelle prolégomènes aux quasicatégories et à qCat catégorie des quasicatégories

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://fr.m.wikipedia.org/wiki/Quasi-catégorie

Rappelons cette figure :

où qCat ,CSS ( espaces complets de Segal) , ainsi que les ∞-cosmoi des catégories de Segal et celui des catégories simpliciales sont envisagées comme catégories de modèles au sens de Quillen (« Quillen model categories  ») reliées par des équivalences de Quillen ( les couples de flèches).

On retrouve  ce diagramme sur la page du groupe de travail de Paris 13 consacré aux infinies-catégories.

les notes, très éclairantes, d’Eva Belmont, sur les quasicatégories, ont été étudiées ici :

https://anthroposophiephilosophieetscience.wordpress.com/2018/04/02/eva-belmont-simplicial-sets-and-quasicategories/

article qui renvoie à cet autres juste avant :

https://anthroposophiephilosophieetscience.wordpress.com/2018/04/01/towards-a-synthetic-theory-of-∞-categories-i/

à propos d’un travail de Reuben Stern introduisant aux ∞-cosmoi, dont qCat semble être un exemple canonique :

papier fait par sans doute un étudiant de Riehl et Verity qu’il vaut la peine d’étudier ici , car il a pour thèmes principaux ∞-cosmoi et quasicatégories.

une quasicatégorie , identifiée aux (∞,1)-catégories nommées ∞-catégories par Joyal…

Voir l’article original 377 mots de plus