Aragon chanté par Léo Ferré et Georges Brassens

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

Les poèmes de Louis Aragon :

http://www.poesie-francaise.fr/poemes-louis-aragon/

http://www.poesie-francaise.fr/louis-aragon/poeme-Il-n-y-a-pas-d-amour-heureux.php

« Rien n’est jamais acquis à l’homme Ni sa force
Ni sa faiblesse ni son coeur Et quand il croit
Ouvrir ses bras son ombre est celle d’une croix
Et quand il croit serrer son bonheur il le broie
Sa vie est un étrange et douloureux divorce
Il n’y a pas d’amour heureux

Sa vie Elle ressemble à ces soldats sans armes
Qu’on avait habillés pour un autre destin
À quoi peut leur servir de se lever matin
Eux qu’on retrouve au soir désoeuvrés incertains
Dites ces mots Ma vie Et retenez vos larmes
Il n’y a pas d’amour heureux

Mon bel amour mon cher amour ma déchirure
Je te porte dans moi comme un oiseau blessé
Et ceux-là sans savoir nous regardent passer
Répétant après moi les mots que j’ai tressés
Et qui pour tes grands yeux tout aussitôt moururent
Il…

View original post 381 mots de plus

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

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

Ce travail d’Andrei Rodin:

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf

qui date de 2014, aborde des points que nous avons commencé à traiter ici, en particulier les travaux de Lawvere sur l’axiomatisation, et ceux d’Urs Schreiber et Voevodsky en liaison avec HoTT (univalent foundations)

Un autre travail d’ Andrei Rodin est plus versé sur Lawvere et la dialectique hégélienne :

http://philomatica.org/wp-content/uploads/2013/01/dialectics.pdf

Les deux sont des « slides », des notes pour conférence, aussi le volume réel de texte est il moindre que le nombre de pages annoncé (respectivement 75 et 30)

Nous parlerons surtout ici du premier de ces travaux ,et encore du début de cette conférence, qui confirme notre attitude tournée vers HoTT (« homotopy type theory »), sinon pour souligner (Page 7 sur 30) qu’Andrei Rodin s’efforce de montrer dans le second travail que contrairement aux apparences, les « remarques hégéliennes » disséminées au milieu des travaux mathématiques de Lawvere ne sont pas un simple « effet de mode » …

View original post 378 mots de plus

Spéciale. dédicace aux « marcheurs » :  » la meilleure façon de marcher » (Claude Miller, 1976)

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

Visible ici :

https://m.ok.ru/video/200295320310

Le film se passe en 1960, il est sorti en 1976:

https://fr.m.wikipedia.org/wiki/La_Meilleure_Façon_de_marcher

6 ans après Patrick Dewaere s’est suicidé , vingt ans après c’était le tour de Christine Pascal.

Marc, le moniteur joué par Patrick Dewaere, est odieux, et les autres moniteurs, qui sont à sa dévotion, sont nuls. Michel Blans joue le rôle d’un imbécile, comme d’habitude : Jean-Claude Dusse « de Paris » arrivera deux ans plus tard.

Mais la dernière scène, qui se passe « quelques années plus tard » ( autour de 68 peut être ) est troublante : les gagnants, finalement, les « dominants » ce sont Philippe et Chantal, qui n’hésitent pas à transgresser la séparation des « genres » lors de la soirée festive à la colo, alors que Marc est un « dominé » , sans doute à cause de ses origines sociales… quelques années plus tard l’ordre marchand remplace celui de la Colonie de vacances. 50 ans…

View original post 161 mots de plus

(∞,1)-topos cohésifs

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

L’article d’origine est toujours celui du blog « Homotopy type theory »:

Axiomatic cohesion in HoTT

et la Page Nlab :

https://ncatlab.org/nlab/show/cohesive+(infinity,1)-topos#AsAPointLikeSpace

william Lawvere a surtout insisté sur le théorie des topos, c’est à dire des 1-topos, ses travaux subissent une évoluton pour valider l’idée d’∞-topos , et le 1-topos paradigmatique Set (qui est ici le cadre du multiple pur) est remplacé par l’∞-topos : ∞Grpd :

https://ncatlab.org/nlab/show/Infinity-Grpd

C’est à dire l’∞-catégorie des (∞,1)-goupoides qui est l’exemple paradigmatique d’∞-topos qui est l’analogie de Set dans le cadre ∞-catégorique.

Comme dans le cas des 1-topos, cela constitue un quadruples d’adjonctions:

Π⊣Disc⊣Γ⊣coDisc): H ——> ∞Grpd

où H est le « candidat » pour le rôle de l’∞-topos cohésif.

le foncteur « section globale  » devient un (∞,1)-foncteur qui est un (∞,1)-morphisme géométrique :

https://ncatlab.org/nlab/show/%28infinity%2C1%29-geometric+morphism

Et les ∞-foncteurs
Disc et Codisc doivent être pleins et fidèles en tant qu’∞-foncteurs (cela signifie que les fonctions correspondantes sur les flèches doivent…

View original post 113 mots de plus

Les travaux de William Lawvere sur les topos cohésifs 1

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

La page correspondante est là:

https://ncatlab.org/nlab/show/cohesive+topos

Les problèmes du multiple et de l’Un trouvent leur cadre idéal dans ce schéma, voir:

http://mathesisuniversalis.over-blog.com/article-les-topoi-cohesifs-104391835.html

Des exemples de topoi cohésifs sont donnés par la Page du Nlab, notamment la catégorie RDGRaph des graphes dirigés et celle utilisée largement dans le livre de Jacob Lurie, des ensembles simpliciaux (simplicial sets) notée sSet
La propriété étudiée axiomatiquement par Lawvere se présente empiriquement sous la forme d’un quadruplet d’adjonctions , aussi étudié par Lawvere :

https://ncatlab.org/nlab/show/adjoint+quadruple

(Π0⊣Disc⊣Γ⊣Codisc)

où Γ est un foncteur appelé « section globale  » :

Ε —–> Set

Envoyant un espace X sur la multiplicité pure de ses « points » :

Γ(X)

qui est un ensemble , un objet de Set donc

(E est un topos cohésif sur Set , propriété qui sera axiomatisée par Lawvere, envisagé comme un gros topos » ayant pour objets des espaces)

La Page :

https://ncatlab.org/nlab/show/motivation+for+cohesive+toposes

expliqué tout cela, sur une…

View original post 502 mots de plus

Laura (Otto Preminger 1944)

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

Le film en vf est ici :

http://www.voirfilms.info/laura.htm

malheureusement le doublage est mal fait est la vf est un peu ridicule. Mieux vaut lui préférer la v.o. Sur YouTube ou ailleurs. Ce film, que j’ai vu pour la première fois en 1967, m’a toujours fasciné, et la raison m’en est apparue récemment. Elle tient au scénario « bizarre » du film. Tous ses amis pensent que c’est Laura qui a été assassinée le vendredi soir chez elle ,mais en fait c’est un modèle, Diane Redfern, qui a été tuée d’un coup de fusil en plein visage dans son appartement

https://fr.m.wikipedia.org/wiki/Laura_(film,_1944)

Tout le caractère « magique » du film tient à la scène , qui se passe le Lundi soir, où l’inspecteur Mac Pherson travaille tard le soir à l’appartement désespéré par le caractère inéluctable de cette mort, il se saoûle copieusement pour compenser son désespoir ( l’acteur Dana Andreas est devenu alcoolique à partit…

View original post 326 mots de plus