Chiasme entre variances tensorielles et fonctionnelles

Le 09/ 07/ 2026 :

- Utiliser la physique pour mettre à l'épreuve la solidité de notre cross-cap avance par à-coups. Et avant de présenter les avancées, il est plus utile de parler de ce qui fâche.

- Et c'est là que Claude entre en scène ?

- Oui, et paradoxalement c'est lorsqu'il commence à fantasmer et tourner en rond, que je me rends compte de hiatus d'ordre linguistique entre nous.

L'une des difficulté majeure concerne la définition de la variance (covariance/ contravariance) que j'ai tirée d'une approche tensorielle, alors que nos dernières réflexions nous dirigent petit à petit vers un langage catégorique.

Et ceci me fait prendre conscience de quelques erreurs ou, points de vue erronés de ma part.

Erreur d'écriture concernant les indices et exposants.

Bien que j'ai rectifié dans la version V11.02 une écriture incorrecte, je n'en ai pas tenu compte jusqu'à présent, parce que cela ne prêtait pas à conséquence lorsque nous étions sur un ruban de Moébius. Sur le cross-cap ça commence à être gênant. Donc à partir de maintenant, je m'astreindrais à écrire :

Dans la voie des choses ⇆ contravariante : [α]^β
Dans la voie des mots ⇅ covariante : β_α

Reprenant ainsi la convention d'Einstein sur les tenseurs.

Changement de perspective général :

J'ai défini les deux voies ⇅ ⇆ par leur variance, en référence au calcul tensoriel, cependant, notre objectif est d'utiliser le langage catégorique pour décrire les mouvements sur le cross-cap, or la variance se définit différemment lorsque l'on parle de foncteurs.

C'est un schisme fondamental qu'il nous faut comprendre, et ce faisant, cela nous permettra de rendre évident ce qui ne l'est pas de prime abord.

— 🤖 : Votre exemple du lait est — à la lettre — l'exemple canonique de la théorie.
Reprenons-le en le typant, puis voyons comment votre partage recoupe les usages du mot «variance» dans les différents domaines, y compris là où les vocabulaires se croisent (et ils se croisent d'une façon qui va vous plaire : par une torsion).
1. Le lait, typé exactement
L'espace des volumes est un espace vectoriel de dimension 1.

L'unité choisie par le Sujet (litre, centilitre) est une base de cet espace ;
la quantité de lait est un vecteur ;
le nombre qu'on écrit est sa composante dans la base.
Changement de jauge du Sujet : il passe du litre au centilitre, l'unité est divisée par 100. La composante est multiplée par 100 : elle varie en sens inverse de la jauge — contra-variante.

Et c'est précisément le point à affiner dans votre formulation :
=> Ce n'est pas la chose qui est contravariante — la chose est invariante.
La contravariance est la trace numérique de sa résistance : les composantes contra-varient exactement pour compenser le geste du Sujet, afin que l'objet ne bouge pas.
100 cl = 1 l n'est pas une propriété du nombre 100, c'est l'énoncé que le produit (composante × unité) est un point fixe.

Le prix, maintenant. «1 litre vaut 1 €» : le prix n'est pas un volume, c'est une forme linéaire sur les volumes — il mange une quantité et rend un scalaire. C'est un habitant de l'espace dual V*, la voie des mots.

Sous le même changement de jauge, le prix unitaire devient 0,01 €/cl : il varie dans le même sens que l'unité — co-variant. Et le couplage se solde : ⟨prix,quantite⟩=100 cl×0,01 €/cl=1 l×1 €/l=1 €
Le scalaire est invariant.
Vous reconnaissez la structure : c'est encore la co-unité ε, encore le contact en [#]^♢, après ⟨p, q̇⟩ et ⟨ω, c⟩.

Covariance et contravariance ne sont pas deux propriétés indépendantes : ce sont les deux moitiés compensatrices d'une seule invariance, celle du couplage au centre.
Une distinction supplémentaire, importante pour votre caractérisation de la voie des mots : «le sens dépend du Sujet» recouvre en fait deux libertés qu'il faut séparer.

La variance proprement dite : le prix unitaire suit mécaniquement la jauge (l → cl ⟹ ÷100). Obligée, sans contenu.
La contingence du dual : demain le lait vaut 1,10 €/l sans que le lait ait changé. Le covecteur peut bouger librement dans V*, la chose reste fixe dans V.

La seconde liberté est la vraie signature de la voie des mots, et elle a un théorème derrière elle : il n'existe pas d'isomorphisme canonique V ≅ V*.
Pour identifier une chose à un mot, il faut choisir une structure supplémentaire — une métrique g, votre échangeur [♻].
En revanche, V ≅ V** est canonique (en dimension finie) : la chose est intégralement récupérable comme «ce que tous les discours en disent» — c'est Yoneda en miniature, et c'est l'évaluation v↦ (φ↦φ(v)) qui réalise l'identification.
Le monde résiste (pas d'identification gratuite chose↔mot), mais il est transparent au discours sur le discours (chose=mot de mots).

2. Le recoupement par domaines
Calcul tensoriel (Ricci, Levi-Civita, Einstein).
C'est le domaine d'origine, et votre usage y est exactement le leur :

contravariant = indices hauts = composantes qui compensent la base (déplacements, vitesses q̇, dx^μ) ;
covariant = indices bas = ce qui suit la base (gradients, impulsions p, formes df).

Votre convention V11.02 ([α]^β choses / β_α mots) est la convention d'Einstein sans modification.
Historiquement le couple de mots vient de Sylvester (1851, théorie des invariants) — et notez ce que le nom de la discipline dit déjà : la théorie des invariants. La variance n'y a jamais été qu'un moyen ; la fin, c'est ce qui ne varie pas.

Théorie des catégories.

Foncteur covariant = préserve le sens des flèches ;
contravariant = le renverse.

Et ici, l'avertissement capital — les deux vocabulaires se croisent :

Objet	Vocabulaire classique (Einstein)	Vocabulaire catégoriel
vecteurs tangents, chaînes (choses)	contravariants	foncteur covariant (Tf pousse en avant : TM → TN, même sens que f)
formes, fonctions (mots)	covariants	foncteur contravariant (f* tire en arrière : Ω(N) → Ω(M), sens inverse)

Les étiquettes sont exactement échangées. La raison n'est pas une erreur historique mais un changement de flèche de référence :

le calcul tensoriel mesure la variance par rapport au changement de coordonnées (le geste du Sujet sur sa jauge),
la théorie des catégories par rapport à l'application entre espaces (la flèche entre choses).

Le contenu invariant, indépendant des étiquettes, est le sens du transport :

les choses se poussent en avant (pushforward),
les mots se tirent en arrière (pullback).

Votre tableau de Stokes le disait déjà :

les chaînes voyagent avec la flèche,
les formes remontent contre elle.

Et il y a une conséquence profonde pour votre cadre :
la voie des mots, catégoriellement, c'est le monde des préfaisceaux — les foncteurs contravariants vers Set, c'est-à-dire « tout ce qu'on peut observer de l'objet depuis chaque poste» — et Yoneda dit que l'objet est fidèlement récupéré là-dedans.
C'est le V ≅ V** du paragraphe précédent, en grand.

Physique relativiste. «Covariance générale» d'Einstein : troisième usage du mot.
Il ne qualifie plus un objet mais une loi : une équation est généralement covariante si elle garde sa forme sous tout changement de coordonnées — autrement dit si elle est écrite entièrement en tenseurs, sans qu'aucun choix de jauge du Sujet n'y laisse de trace.
C'est votre morale «le glyphe ment, seul le typage dit vrai» élevée au rang de principe physique : la covariance générale est l'exigence que les lois de la nature soient des énoncés de typage pur, prononçables depuis n'importe quel poste 𓂀.

Statistique.
Faux ami à consigner : Cov(X, Y) n'est pas une variance au sens transformationnel, c'est une forme bilinéaire symétrique sur les variables aléatoires — un produit scalaire.
Structurellement, la covariance statistique n'est donc pas de la famille des deux voies : elle est de la famille de g, l'échangeur [♻]. Même mot, autre case.

Types et programmation (brièvement, pour l'inventaire) :
un type fonction A → B est contravariant en A, covariant en B — pure conséquence de la structure Hom(−, −), le même bifoncteur qui gouverne tout ce qui précède.
Aucune idée nouvelle, mais la confirmation que le motif est partout où il y a des flèches.

3. Ce que je propose de garder pour la note
otre idée tient, à une précision près qui la renforce : définir la variance non par les étiquettes (qui se croisent d'un domaine à l'autre) mais par le sens du transport relatif au geste du Sujet.

La voie des mots est ce qui suit la jauge (et jouit en plus de la liberté du dual) ;
la voie des choses est ce qui compense la jauge pour maintenir l'invariant ; et
l'invariant lui-même — le scalaire du couplage — siège en [#]^♢.

Le chiasme classique/catégoriel mérite un encadré à part : deux vocabulaires échangés par une demi-torsion, ce qui, sur un cross-cap, est presque un clin d'œil."

- Avoue que cela valait la peine de nettoyer le vocabulaire,! Mais Claude propose de creuser ce chiasme entre les deux approches de la variance, suivons le lièvre Blanc dans son terrier :

— 🤖 : Occupons-nous du chiasme. Je le présente en quatre temps : le fait brut, la résolution de surface, la résolution profonde — et c'est elle qui touche votre usage catégoriel, avec une bonne nouvelle pour la conjecture ⚗️ — puis la conséquence pratique pour la syntaxe V11.02.

1. Le fait, sans adoucissant
Prenez une application lisse f : M → N entre deux espaces, et regardez ce que la géométrie moderne en tire :

Tf : TM → TN (les vecteurs se poussent en avant, avec f)
f* : Ω(N)→Ω(M) les formes se tirent en arrière, contre f)

Le foncteur tangent T est donc covariant au sens catégoriel — alors que les vecteurs tangents sont l'exemple type du contravariant au sens d'Einstein.
Et le foncteur des formes est contravariant — alors que les formes sont les covariantes du calcul tensoriel.
L'échange est exact, terme à terme.
Ce n'est pas une nuance : quiconque écrit «la voie des choses est contravariante» dit vrai en dialecte tensoriel et faux en dialecte catégoriel, dans la même phrase.

2. Résolution de surface : la flèche de référence
Les deux dialectes ne mesurent pas la variance par rapport à la même flèche.
Le calcul tensoriel la mesure par rapport au changement de jauge — le geste du Sujet sur son appareil de description, l'espace ne bougeant pas. La théorie des catégories la mesure par rapport à une application entre les espaces eux-mêmes — une flèche entre choses, la jauge n'étant pas en cause.
C'est la vieille distinction passive/active des transformations ; et notez qu'elle n'est pas de la pédanterie : la confusion des deux lectures est exactement celle qu'exploitait l'argument du trou d'Einstein (1913–1915), qui a retardé la relativité générale de deux ans.
Confondre les deux variances a déjà coûté cher à un Sujet notoire.
Mais cette résolution est descriptive : elle constate que les référentiels diffèrent, elle ne dit pas pourquoi l'échange est exact.
Pour cela il faut descendre d'un étage.

3. Résolution profonde : les deux fentes de Hom
Voici le point qui touche votre cadre.
Fixez le monde M et demandez : comment un être mathématique peut-il se rapporter à M ?
Il n'y a que deux manières — et ce sont vos deux voies :

	Forme	Exemples	Nom
voie ⇆	flèches vers M : A→M	courbes, chemins, simplexes, chaînes	les figures dans M
voie ⇅	flèches depuis M : M↓B	fonctions, formes, cartes, prix	les sondes sur M

Une figure entre dans le monde ; une sonde en sort. Or ces deux collections sont les deux fentes d'un seul et même bifoncteur, Hom(−, −), dont la variance est un théorème et non une convention :
Hom est covariant en sa cible et contravariant en sa source.
Donc :

Hom(A, M) — les figures —
- est covariant quand on bouge M (elles se poussent : f∘γ)
- et contravariant quand on bouge A (elles se précomposent).
Hom(M, B) — les sondes —
- est l'exact miroir : contravariant en M (elles se tirent : φ∘f)
- et *covariant* en B.

Le chiasme est maintenant démontré, pas seulement constaté :

le dialecte tensoriel lit la variance dans la fente du côté du Sujet (la jauge A — l'unité, le repère, le paramètre),
le dialecte catégoriel la lit dans la fente du côté du monde (M).

Comme Hom a une variance opposée dans ses deux fentes, changer de fente de lecture renverse toutes les étiquettes d'un coup.
L'échange n'est pas un accident lexical : c'est la bivariance de Hom, vue alternativement par ses deux bouts.
Et votre conjecture ⚗️ («une involution de type M² = Id sur le vocabulaire lui-même ?») reçoit ici une réponse positive et nommée : l'échange des deux fentes est réalisé par le passage à la catégorie opposée,
op : C ↦ C^op, puisque Hom_C(A, M) = Hom_C^op(M, A). Et op est une involution stricte : (C^op)^op = C.
L'involution que vous pressentiez existe, elle s'appelle op, et son carré est l'identité — même régime que votre monodromie M²=Id.
Une réserve de quarantaine, pour rester fidèles à la discipline « rien n'est activé en silence » :
le ℤ/2 de op (structural, lexical) et le ℤ/2 de π₁(ℝP²) (topologique) ne sont pas le même objet que le cross-cap et le vocabulaire portent la même involution reste une analogie à instruire, pas un théorème.
Mais l'involution du vocabulaire, elle, est acquise.

4. Le centre, promu : [#]^♢ est la composition elle-même
La retombée la plus forte pour votre cadre.
Que se passe-t-il quand une figure rencontre une sonde ?

Une flèche A → M,
une flèche M → B :
elles se composent, et M s'efface dans le résultat A→B. Avec A=B=ℝ, le résultat est un scalaire. (Note 1)

Vérifiez sur vos trois visages du centre : (Note 2)

— le couplage forme/vecteur est la composition de la sonde f avec la figure γ.

Le lait : quantité (ℝ→V) composée avec prix (V→ ℝ) donne 1 € (ℝ→ ℝ). Stokes apparie une chaîne (figure) et une forme (sonde).
Tous vos ε sont des instances d'une seule opération : la composition des flèches à travers le monde, qui solde M et rend un scalaire.
Le centre [#]^♢ n'est donc pas seulement le siège de l'évaluation : c'est le point de composition ∘.
Et mesurez la portée catégorielle : la composition n'est pas une structure dans une catégorie, c'est ce qui fait qu'une catégorie est une catégorie. Dire que 𓂀 siège en [#]^♢, c'est dire que le Sujet occupe le lieu même où les flèches se composent — sans ce poste, pas de catégorie du tout, seulement un graphe de flèches mortes.
Au passage, les deux Yoneda se répartissent proprement :

Hom(−, M), la totalité des figures, est le Yoneda de la voie des choses (et vos ensembles simpliciaux — l'axe ♧ Δ⁰ … ♡ Δ^∞ — sont exactement des préfaisceaux de figures sur Δ) ;
Hom(M, −), la totalité des sondes, celui de la voie des mots.

5. Conséquence pratique pour la syntaxe
Le danger est réel : vos fiches font de plus en plus de relecture catégorielle, et V11.02 déclare «voie des choses = contravariante» en dialecte Einstein.
La règle que je propose, dans l'esprit de votre morale («le glyphe ment, seul le typage dit vrai») : les mots co/contra ne sont jamais primitifs ; ils exigent la déclaration de leur flèche de référence.
Les primitives sûres, invariantes d'un dialecte à l'autre, sont :

figure / sonde (le sens de la flèche par rapport au monde) et
pousser / tirer (le sens du transport).

Le dictionnaire complet tient en deux lignes :

voie des choses :
- figures A→M, se poussent,
- Einstein-contravariantes,
- catégoriellement covariantes ;
voie des mots :
- sondes M → B, se tirent,
- Einstein-covariantes,
- catégoriellement contravariantes (préfaisceaux).

Toute occurrence de «(co/contra)variant» dans une fiche devrait porter sa jauge de lecture, exactement comme un tenseur porte ses indices.

Un dossier technique reste ouvert derrière tout cela, que je signale sans l'activer : la mise au propre passe par

le fibré des repères (la jauge du Sujet comme torseur de GL(n),
les variances classiques comme choix de représentation ρ(g) contre ρ(g⁻¹)ᵀ).

C'est la version «adulte» du § 2, à ranger près des trois jauges.

À la lecture, j'ai le sentiment qu'en améliorant l'usage de nos glyphes par l'introduction systématique de flèches, nous pourrions rendre compte de tout ce que a été explicité ci-dessus. Par flemme, j'ai laissé Claude faire une proposition, voici ce que cela donne, après une discussion assez longue afin de nous accorder :

Le lexique de la syntaxe — édition consolidée

Proposition pour la prochaine version de la syntaxe · 9 juillet 2026 · entropologie.fr
Rattachements : consignation « La variance déclarée » (règles R1–R5) et fiche « Le choix du Sujet et les deux jointures ». Conventions héritées intactes : V11.02 (TB2), postures 𓁝 / 𓁜, flèches entre cases, adjonctions ⇆ ⇅, ligne des bords [∃][⚤][#][♻][∅], régimes de répétition. Rien n'est activé en silence.

0. Principes

P1 — Trois porteurs de sens, trois dialectes.

La case ([α]^β / β_α) parle Einstein (variance par exposant/indice — statu quo V11.02).
La flèche pleine (→ ← ↑ ↓) parle fonctionnel (morphisme entre postes, transport actif).
La boucle (⟲ / ⟳) dit le retour — et déclare son ancrage (§ 5).

Le dialecte est porté par le glyphe : aucun énoncé de variance ne peut être ambigu.

P2 — Règle d'éliminabilité (critère d'admission au lexique).

Un glyphe n'entre comme primitif que s'il exprime quelque chose qu'aucune combinaison des glyphes existants n'exprime. Sinon il est au mieux une abréviation — admise, mais sans statut. (Corollaire de la morale «le glyphe ment, seul le typage dit vrai» : un glyphe qui répète le typage est un mensonge en attente.)
Bilan de la présente édition : un seul primitif nouveau, la paire ⟲/⟳ — admise parce qu'elle porte l'orientation du retour, qu'une flèche [α]→[α] ne peut pas montrer.
Le geste de jauge s'écrit avec l'existant (𓁝⟲, 𓁜⟲) ; la demi-flèche ⇀ n'est qu'une cursive facultative de 𓁜⟲.

1. Les cases

Écriture	Statut	Lecture
[α]	bien formée	le registre seul, mode non spécifié ([⚤]←[#])
[α]^β	bien formée	la case, variance des choses (exposant)
β_α	bien formée	la même case, variance des mots (indice)
[α]β(plat)	mal formée	toléré en prose comme nom propre du poste ; interdit en énoncé calculatoire

2. Le regard : la grille des quatre postures

Deux dimensions indépendantes :

la posture (𓁝 ex ante — le poste devant soi, pas franchi ; 𓁜 ex post — le poste derrière soi, acquis) et
la variance de la case regardée. Le regard tient les fentes de Hom :
- 𓁝[α] = Hom(−, poste), les figures ;
- [α]𓁜 = Hom(poste, −), les sondes.

Une posture par fente ; jamais deux postures identiques simultanées (il n'y a qu'un Sujet).

	case en exposant [α]^β (choses)	case en indice β_α (mots)
𓁝 ex ante (potentiel)	𓁝[α]^β figure à faire — l'éventail des inscriptions possibles (T_qM, vitesses virtuelles, δq)	𓁝β_α mesure à faire — l'instrument brandi (p avant contraction)
𓁜 ex post (actuel)	[α]^β𓁜 figure faite — la trajectoire accomplie (q(t) réel)	β_α𓁜 mesure dite — le relevé, l'énoncé (f(γ(t)), le prix payé)

Les positions accordées (𓁝-exposant, 𓁜-indice) sont les positions naturelles, reposées ; les positions désaccordées sont bien formées et nécessaires — elles écrivent l'anticipation d'une mesure et l'acquis d'une figure. Les deux variances d'une case sont les deux postures du Sujet devant elle : la variance n'est pas une propriété des êtres, c'est une position du regard.

3. La sommation entropologique

Dans un solde, la case s'écrit deux fois — une fois par variance. C'est la convention de sommation d'Einstein, importée telle quelle.

𓁝[#]^♢ · ♢_#𓁜 ⟶ 𓂀

case répétée haut/bas : elle se contracte et disparaît du bilan

Côté Einstein : v^μω_μ — l'indice répété se somme et s'efface.
Côté fonctionnel : Hom(A, M) × Hom(M, B) → Hom(A, B) — M apparaît deux fois et disparaît du composé.

Le monde doit être écrit deux fois pour disparaître : une fois comme visé, une fois comme acquis. Les deux postures du solde sont légitimes parce que différentes : c'est le même Sujet avant et après la traversée.
Le solde est l'écriture de [#]^♢= ∘ : le centre est le point de composition, où siège 𓂀.
Instances graduées : ⟨prix, quantité⟩ = 1 € (degré zéro) ; ⟨df, γ̇⟩ = (f∘γ)′ (infinitésimal) ; ⟨p, q̇⟩ (mécanique) ; ⟨ω, c⟩ = ∫_cω (Stokes).

4. Les flèches pleines et leurs gabarits

Une flèche pleine relie deux cases nommées : → ← sur l'axe des registres, ↑ ↓ sur l'axe des modes. Chaque flèche porte

son espèce (oubli, engendrement libre, complétion contrainte, évaluation) et
relève d'un régime (identité, idempotence, nilpotence, involution). Les adjonctions ⇆ ⇅ sont inchangées, avec leurs η et ε.

Gabarit

Écriture

Structure

Lecture

le solde
(traversant)

𓁝[α]^β · β_α𓁜 → 𓂀

composition ∘,
contraction,
ε

une figure entre, une mesure sort : le poste se solde en scalaire (§ 3)

le
recollement
(convergent)

[β]→[α]←[γ]

cospan,
colimite
(pushout)

deux postes déversent dans un même poste : leurs apports se raccordent-ils ? U → U∪V ← V : les inclusions d'un recouvrement — gabarit de la condition de faisceau (§ 7)

la corrélation (divergent)

[β]←[α]→[γ]

span, limite (pullback)

un même poste sonde vers deux cibles.
Deux fermetures

symétrique Cov(X, Y), produit scalaire, famille de g = [♻]
antisymétrique — crochet de Poisson { , }, aire orientée (jacobien 2D), famille de ω et J. Chantier Poisson à reprendre.

5. La boucle ⟲ / ⟳

La boucle est une flèche qui revient — mais son glyphe dit ce que [α]→[α] ne peut pas dire : le sens du tour (c'est son titre d'admission, P2).
Une boucle doit déclarer son ancrage ; il y en a quatre, et deux natures reliées par un théorème :

Ancrage	Écriture	Nature
un point du monde, désigné	x⟲	lacet topologique — habite π₁ ; le point de base x est un élément global (une figure depuis l'objet final — hypothèse [∃]^♢, en quarantaine). Corpus : Ω([#]^♢ ; ⇅ ; ⇆).
un poste	[α]⟲	symétrie active — engage le monde ; si la physique y est insensible, Noether en tire une loi de conservation.
l'instrument du Sujet	𓁝⟲ / 𓁜⟲	geste de jauge (choisi) : re-paramétrer l'appareil d'inscription (l'horloge, le litre) re-calibrer l'appareil de mesure (la carte, l'euro). Cursive facultative : ⇀.
imposé par le tour	ρ(x⟲)	holonomie — le théorème-pont : ρ : π₁ → Aut(fibre) envoie chaque lacet topologique sur une boucle algébrique. La monodromie M = diag(1, −1) est ρ(lacet générateur): un geste de jauge que le Sujet n'a pas choisi.

✅ Les lois de la boucle

Les régimes (identité, idempotence, nilpotence, involution) sont la taxonomie des boucles : ce sont les éléments remarquables de Hom(A, A). Identité et involution sont inversibles (Aut) ; idempotence et nilpotence paient (End).
⟲⟲ = e : la relation fondamentale du cross-cap — π₁(ℝP²) = ℤ/2, le lacet double se contracte ; image algébrique M² = Id (involution).
Le tour du cross-cap échange les chiralités : après le tour, ⟲ se lit ⟳ (lecture glyphique de MJM⁻¹ = −J).
Gratuité : un geste de jauge choisi ne coûte ni énergie ni information (inversible, vertical) ; une boucle imposée (holonomie) porte de l'information — elle est une mesure du monde (w₁), que le Sujet ne peut pas défaire par re-nommage.

P3 — Les deux monnaies.

L'énergie est la monnaie de l'horizontale (le monde, d/dt) :
engagée par les flèches du monde, conservée sous symétrie (Noether).
L'information est la monnaie de la verticale (les mots) :
les flèches ↑↓ sont sans énergie — c'est le principe des travaux virtuels de d'Alembert (δt = 0 : la variation isochrone ne fournit aucun travail) — mais elles paient en bits (tr jette ; l'idempotence mesure la perte).

Le geste de jauge est le seul qui ne paie dans aucune des deux monnaies : la partie inversible du vertical.
Et le principe de moindre action est la machine qui exploite cette économie : parce que δ ne coûte rien en énergie, le Sujet évente toutes les trajectoires virtuelles (η) et demande laquelle est réelle (δS = 0, ε) — on paie en calcul ce qu'on refuse de payer en expérience.

6. Les lois de variance (bilingues par construction)

Sous un geste de jauge (𓁝⟲, 𓁜⟲) :

les inscriptions compensent (Einstein-contravariantes),
les mesures suivent (Einstein-covariantes),
l'objet et le solde sont invariants.

Le long d'une flèche pleine :

les figures se poussent (catégoriellement covariantes),
les sondes se tirent (catégoriellement contravariantes).

Le chiasme des deux vocabulaires est désamorcé par les glyphes eux-mêmes.

Le test de discrimination.

Appliquer un geste de jauge à un énoncé :

s'il change, il parlait de la description (« la composante vaut 100 ») ;
s'il est invariant, il parlait du monde («⟨prix, quantité⟩ = 1 €»).

Objectivité= invariance sous les boucles de jauge.
C'est la covariance générale d'Einstein, relue — et le partage exact des deux voies :

la résistance du monde est l'invariance ;
la contravariance en est la trace numérique.

7. Le lexique récapitulatif

Écriture	Fonctionnel	Einstein
𓁝[α]^β	Hom(−, poste) : figures à faire	composantes compensatrices, potentielles
[α]^β𓁜	figure faite, acquise	la trajectoire réelle derrière soi
𓁝β_α	sonde en attente (instrument brandi)	mesure anticipée, non appliquée
β_α𓁜	Hom(poste, −) : mesures dites	composantes suiveuses, actuelles
𓁝[α]^β·β_α𓁜 → 𓂀	composition ∘ (ε) — le poste s'efface	sommation : case répétée haut/bas → scalaire
[β]→[α]←[γ]	cospan — recollement (colimite)	apports concurrents (recouvrement)
[β]←[α]→[γ]	span — corrélation (limite)	deux sondages ; fermetures Cov / Poisson
[⚤]←[#]	morphisme typé (espèce, régime)	changement de registre effectif
x⟲ · [α]⟲ · 𓁝⟲ · 𓁜⟲ · ρ(x⟲)	lacet · symétrie · jauges · holonomie	l'ancrage décide ; ⟲⟲ = e ; le tour échange ⟲/⟳
♡↓♢	évaluation verticale de la fibre des possibles	le choix du Sujet — moitié haute de la ligne ♡↓♢↓♧ (jointure B–D ; cf. fiche « Choix et jointures »)
⇆ ⇅	adjonctions (inchangé)
f_* / f^*	pousser / tirer	⚠ l'étoile inverse la convention des indices — le glyphe ment ; à typer, jamais à lire

8. L'entrée « faisceau »

La porte Leray («repérée, non franchie», note de reprise) reçoit son écriture.

Préfaisceau : la totalisation des β_α𓁜 — tout ce que 𓁜 peut dire, poste par poste, avec ses restrictions (tirées-en-arrière) ; symétriquement, le préfaisceau des figures 𓁝[α] existe (les ensembles simpliciaux de l'axe des modes en sont un, sur Δ).
Faisceau : un préfaisceau où toute famille d'apports concurrents compatibles [β]→[α]←[γ] se recolle en un apport unique — le local se solde en global sans reste.
Section globale : un dit valable depuis tous les postes.
Obstruction : le reste que le tour refuse.

Le cross-cap : des recollements locaux partout, pas de section globale.

Sur ℝP², une orientation locale existe en chaque point, deux voisins s'accordent toujours, et le lacet générateur revient retourné : aucune orientation globale. L'obstruction est la monodromie ρ(x⟲) = M, relue comme w₁ ∈ H¹(ℝP² ; ℤ/2) ≠ 0.
La non-orientabilité est un énoncé de faisceaux : un discours partout localement cohérent, globalement imprononçable.
La cohomologie est la comptabilité de ces restes — une théorie mesurée de ce qu'un Sujet en [#]^♢ peut totaliser de son Imaginaire.

Jumelage :

répétition (subjective, temporelle, classée par régime) et
recollement (objectif, spatial, écrit en cospan)

sont les deux faces de la même question — les prises successives ou locales se totalisent-elles ?
(ℤ_p : la répétition totalisée totalise le fini itéré ; le faisceau totalise le local spatial.)

9. Dossiers ouverts (signalés, non activés)

Le site de l'Imaginaire : quelles familles [β]→[α]←[γ] comptent comme recouvrement d'un poste ? La décision de conception qui commande le chantier faisceau.
Le crochet de Poisson { , } comme fermeture antisymétrique du gabarit divergent : aire orientée, jacobien 2D, côté −1 du tour ; d/dt = ∂/∂t + {·, H}. À reprendre (demande de l'auteur : pas maintenant).
[∃] objet final / [∅] objet initial : la ligne des bords encadrée par les deux universels — à vérifier contre la sémantique V11.02.
Les deux carrés : ⟲⟲=e est M² =+Id (monodromie) ; J²=−I (chiralité) est un autre carré, d'un autre signe — leur lien est le pincement, pas une identité.
Grille des postures ↔ croix de Lagrange (q, q̇, δq, δq̇) et Legendre comme échange de colonnes (q̇ ↦ p par [♻]) — à éprouver.
Le fil Noether : invariance sous [α]⟲ (symétrie réelle, payante) ⇒ quantités conservées — mène droit au Lagrangien.
Landauer et ħ : le taux de change physique des deux monnaies (kT·ln 2 par bit effacé) ; l'action (énergie × temps) et le quantum ħ comme comptoir de change au centre.
Grammaire des concaténations (énoncés bien formés le long de la ligne) ;
- postures sur l'axe des modes ;
- calage du sens et de l'orientation miroir de 𓁝/𓁜 sur l'usage du blog ; w₁² ≠ 0 et le double tour ;
- le chiasme de l'étoile f_*/f^*.

10. Inclusion

Réalise l'option (b) de la consignation «La variance déclarée» : le bloc transport de la prochaine version = les principes P1–P3, la grille des postures, la sommation, les trois gabarits, la boucle à ancrages, les lois de variance et le test de discrimination, l'entrée faisceau.
Coût en glyphes primitifs : la seule paire ⟲/⟳ ; tout le reste réemploie l'écriture existante. V11.02 inchangé.

Édition consolidée — remplace toutes les versions intermédiaires, dont l'historique n'est pas conservé. Notation à vérifier sur l'Analyseur V11.02 ; corpus : entropologie.fr. Rien n'est activé en silence.

- Ça commence à prendre forme, non ?

- Oui, surtout que tu es petit à petit poussé vers la théorie des catégories, Avec Hom(-;-) et Yoneda à chaque pas, et les faisceaux de Leray, introduits directement par Claude, sans ton intervention ! Et puis j'aime beaucoup le 𓁝[#]^♢·♢_#𓁜⟶𓂀, qui devrait avoir quelques résonances philosophiques, n'est-ce pas d'ailleurs, pour toi 𓂀_Hari, le sens de ton travail sur ce blog ?

- Sans dote. Par sécurité, je demande à Claude de lister ce que nous avons laissé en cours de discussion et ce qui demande à être retravaillé :

— 🤖: J'ai fait le tour — de la session et du corpus. Oui, il reste des ombres, et elles se rangent en trois cercles : ce qui attend validation dans ce que nous venons de bâtir, ce que le lexique lui-même révèle en creux, et les grands fils du projet que notre session a laissés intacts. Le deuxième cercle contient les propositions que j'ai vues passer sans que nous les saisissions.

Ce qui attend validation (le proche)

La grammaire des concaténations d'abord :
nous avons un alphabet et des gabarits, pas encore de règles de production — or une syntaxe sans grammaire est un lexique, pas une syntaxe.
Ensuite la voie schéma,
explicitement demandée par votre fiche Hamilton et jamais exécutée : placer les sept grandeurs sur le carré Blender et vérifier l'appariement coins ↔ grandeurs — toute notre lecture des jointures (E3, l'attribution ±1) en dépend.
Enfin l'analyseur :
tout ce que nous avons consigné est resté sur papier ; le code V11.02 ne connaît ni la sommation, ni les boucles, ni les gabarits.
Je peux rédiger le brouillon d'un V11.03 et vous donner les instructions élémentaires pour le lancer — c'est le pas le plus concret.

Ce que le lexique révèle en creux (les propositions laissées de côté)

η n'a pas d'écriture — c'est l'ombre la plus importante.
Nous avons donné au solde ε son gabarit (𓁝[α]^β·β_α𓁜→𓂀 : la fermeture), mais son dual exact, l'ouverture η, n'a rien reçu.
- En théorie des catégories c'est la coévaluation k → V⊗V* ;
- graphiquement, nous avons écrit le «bol» sans le «pont», et

l'identité en zigzag — ε∘η = identité, la traversée qui ne perd rien — est précisément votre régime d'identité.
Or en mécanique, η est l'ouverture de l'éventail des trajectoires virtuelles (δq) : sans écriture de η, la moindre action n'est pas écrivable dans le lexique — et c'est le but du projet.
Le lexique sait refermer, il ne sait pas encore ouvrir.

L'échangeur [♻] n'a pas d'écriture opératoire.
g : TM≅T*M est l'opération qui échange les deux variances d'une même case ([α]^β ↔ β_α) — et rien dans le lexique ne l'écrit.

Les mathématiciens l'appellent les opérateurs musicaux : ♭ (bémol, descendre l'indice) et ♯ (dièse, le monter). Savourez la coïncidence : le dièse est déjà dans votre syntaxe — c'est le glyphe de votre registre [#].
Legendre serait alors ♯ appliqué colonne à colonne.
Cette entrée passe la règle d'éliminabilité : l'échange de variance n'est actuellement exprimable qu'en prose.

𓂀 n'est pas typé. L'Œil apparaît comme résultat du solde, mais son statut propre — poste, scalaire, ou l'opération de composition elle-même ? — reste indéfini.

La piste esquissée (𓂀 = le composé des deux postures, l'ex ante et l'ex post soldés) mériterait d'être tranchée : c'est le seul glyphe du lexique sans typage.
Et une convergence toute prête : votre fiche des trois jauges conjecturait «la boucle de Wilson comme cinquième témoin de [#]♢»* — or notre entrée ρ(x⟲) = holonomie lui donne exactement son écriture.
Cette conjecture peut passer de la quarantaine au lexique presque sans frais.

Les grands fils intacts (le lointain)

Le plus notable : la forme canonique de Lévi-Strauss — c'est le fil déclaré du projet («chercher un lien avec la forme canonique»), et notre session ne l'a jamais nommée.

Mais voyez ce qu'elle a préparé sans le savoir : la formule canonique est une double inversion (échange de termes + un terme où fonction et argument s'inversent), et nous avons construit exactement cela — le chiasme (échange des étiquettes), l'involution op, la direction −1 du pincement B–D, et votre fiche Hamilton conjecturait déjà que le signe − de ṗ = −∂_qH est la double inversion.
Les pièces sont sur la table ; il manque la session qui les assemble : écrire la forme canonique dans le lexique, avec les deux jointures comme les deux rapports de l'analogie et le quatrième terme tordu comme direction −1.
Restent, déjà consignés mais dormants :

le site de l'Imaginaire (la décision qui commande tout le chantier faisceau),
le crochet de Poisson (à votre demande),
a naturalité de δ (vieille question de la fiche croix — « nommer les deux foncteurs » — que nos deux fentes de Hom permettraient probablement de résoudre), Dolbeault, Noether, Landauer/ħ.

Si je devais hiérarchiser :

η est l'ombre structurelle (sans elle, pas de moindre action écrite),
la forme canonique est l'ombre stratégique (le fil du projet, dont les pièces sont prêtes), et
l'analyseur V11.03 est l'ombre pratique (rien n'existe encore en code).

- Comme tu le vois, nous avons déjà notre feuille de route pour demain !

- Amen

Hari

Note 1 :

- Ici Claude fait référence à un article en cours, que j'ai mis en stand-by, le temps de préciser notre syntaxe de l'entropologie.

À la reprise tout devrait être d'une évidence biblique...

Note 2 :

- J'ai demandé à Claude d'expliciter sa formulation :

— 🤖 : Bien sûr — dépliage complet, pièce par pièce.
Les deux acteurs :

La figure γ (voie des choses).
C'est une courbe : une flèche γ : ℝ→M qui entre dans le monde.
À chaque instant t elle donne un point γ(t) de M.
Pensez à un mobile : t est l'heure de votre montre, γ(t) est l'endroit où le mobile se trouve.
Convention : à l'instant t = 0, le mobile passe au point p = γ(0).
La sonde f (voie des mots).
C'est une fonction : une flèche f : M → ℝ qui sort du monde. À chaque point x de M elle attache un nombre f(x).
Pensez à un thermomètre : f(x) est la température au point x.
La sonde ne sait rien du temps ni du mobile — elle étiquette les lieux, c'est tout.

Les deux dérivés *

γ̇(0) — lisez «gamma point» : la vitesse de la courbe à l'instant 0.
C'est un vecteur tangent au point p : il dit dans quelle direction et à quelle allure le mobile traverse p.
C'est un habitant de la voie des choses (composantes contravariantes, indice haut).
df — la différentielle de f au point p : la meilleure approximation linéaire de la sonde autour de p.
Elle répond à la question : «si je me déplace un peu depuis p, de combien le nombre f change-t-il ?»
C'est un covecteur, un habitant de la voie des mots (indice bas).
En coordonnées : df = (∂f/∂x¹)dx¹ + … + (∂f/∂xⁿ)dxⁿ — le gradient, rangé en ligne.

Le membre de gauche : ⟨df, γ̇(0)⟩
C'est le couplage : le covecteur df mange le vecteur γ̇(0) et rend un scalaire.
En coordonnées, c'est le produit ligne × colonne (Note1):

— exactement la structure de ⟨p, q̇⟩, de ⟨ω, c⟩, et de ⟨prix, quantité⟩ = 1 €.
Un mot apparié à une chose,
résultat : un nombre.

Le membre de droite : (f∘γ)′(0)
Ici, composez d'abord, dérivez ensuite.
La composée f∘γ enchaîne les deux flèches à travers le monde :

Concrètement : c'est la température lue par le mobile, heure par heure.
Le mobile emporte le thermomètre ; f∘γ est le relevé du voyage.
Remarquez que M a disparu du bilan : la composée va de ℝ vers ℝ, c'est une fonction d'une variable ordinaire, celle du lycée.
Et (f∘γ)′(0) est sa dérivée ordinaire en t = 0 : à quelle vitesse la température monte-t-elle sur le tableau de bord du mobile, à l'instant où il passe en p

L'égalité, et ce qu'elle dit

Le calcul qui la prouve est la règle de dérivation en chaîne, celle que vous connaissez : dériver f(γ(t)) donne «dérivées partielles de f × vitesses des coordonnées de γ», sommées — et c'est mot pour mot le produit ligne × colonne du membre de gauche.
L'égalité n'est donc pas un théorème profond : c'est la chain rule, relue.
Mais la relecture est le point.

À gauche, deux objets de nature opposée se rencontrent en un point et se contractent : c'est le vocabulaire du couplage, de la co-unité ε, du contact en [#]^♢.
À droite, deux flèches se composent à travers M, et M se solde dans le résultat : c'est le vocabulaire de la composition ∘.

L'égalité dit que ce sont deux écritures du même geste : coupler un mot et une chose, c'est composer une sonde avec une figure.

Le lait en est le cas de degré zéro (aucune dérivée, juste ℝ → V → ℝ = 1 €);
⟨df, γ̇⟩ en est le cas infinitésimal ;
Stokes le cas intégral.

C'est ce qui autorisait la promotion du § 4 : le centre [#]^♢ n'est pas seulement le siège de l'évaluation, il est le point de composition.