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 mouvement 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 glyphe 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 :

aa
bb

←→ ↓↑ ⇅ ⇆. ⇘⇙ ⇖ ⇗ ⤢⤡

Proposition v2 — Le lexique simplifié par le regard

Session du 9 juillet 2026 · remplace la v1 du même jour, sur correction de l'auteur : « intégrer le regard du Sujet 𓁝 𓁜 ; certaines flèches font doublon ; simplifier l'écriture » · entropologie.fr
Statut : proposition pour la prochaine version de la syntaxe. Réalise les règles R1–R5 de la consignation « La variance déclarée ». Conventions héritées intactes : V11.02 (TB2), ← → ↑ ↓ entre cases nommées, ⇆ ⇅ adjonctions, ligne des bords [∃][⚤][#][♻][∅], postures 𓁝 / 𓁜 du blog. Rien n'est activé en silence.

1. La correction, et ce qu'elle révèle

La v1 introduisait des flèches à bout libre (→[#]♢ pour « une figure s'inscrit », [#]♢→ pour « une sonde sort »), en notant que le bout libre était une fente de Hom(−, −). La correction de l'auteur va plus loin que la simplification demandée : la syntaxe possédait déjà le glyphe de la fente. Car qui occupe la place vide de Hom(−, [#]^♢), sinon le Sujet qui s'apprête à inscrire ? Et qui occupe celle de Hom([#]^♢, −), sinon le Sujet qui mesure depuis le poste ?

Le bout libre d'une flèche, c'était le Sujet. Les postures 𓁝 / 𓁜 remplacent toutes les flèches à bout libre.

𓁝[#]^♢ — posture ex ante : le poste est devant le Sujet, pas encore franchi ; il s'y rapporte par figures (il vise, il s'inscrit). C'est Hom(𓁝, [#]^♢) : la fente des figures, instanciée par le regard. Côté η — ouvre, potentiel.
[#]_♢𓁜 — posture ex post : le poste est acquis, le Sujet parle depuis lui ; il s'y rapporte par sondes (il mesure, il émet). C'est Hom([#]♢, −) : la fente des sondes, occupée par le regard. Côté ε — referme, actuel, informé.

Les doublons de la v1 tombent : les quatre formes fléchées à bout libre se réduisent à deux postures ; les règles F1 (la pointe juge) et F3 (le bout libre est une fente) fusionnent en une seule. Les flèches pleines ne servent plus qu'à ce qu'elles faisaient déjà dans le corpus : relier deux cases nommées ([⚤]←[#], l'évaluation p-adique). Une seule addition de glyphe subsiste : le harpon de jauge.

2. Les trois règles (au lieu de cinq)

S1 — Le regard tient la fente.

𓁝[α]^β = tout ce que le Sujet peut inscrire dans le poste (figures, voie des choses) ; [α]_β𓁜 = tout ce qu'il peut mesurer depuis le poste (sondes, voie des mots). Plus aucune flèche à bout libre : si un bout est indéterminé, c'est qu'un regard s'y tient.

S2 — La flèche pleine relie deux cases nommées, le harpon note la jauge.

→ ← (axe des registres) et ↑ ↓ (axe des modes) : morphismes entre postes, avec leurs quatre espèces déjà acquises (oubli, engendrement libre, complétion contrainte, évaluation) — usage inchangé. Le harpon ⇀ (demi-flèche) : geste de jauge du Sujet — passif, il ne déplace que la description, jamais la chose ; une demi-pointe pour un demi-mouvement. Lois de variance dérivées : sous ⇀, les inscriptions de 𓁝 compensent (Einstein-contravariantes), les mesures de 𓁜 suivent (Einstein-covariantes) ; le long des flèches pleines, les figures se poussent (catégoriellement covariantes), les sondes se tirent (catégoriellement contravariantes). Le chiasme ne peut plus se produire : le dialecte est porté par le glyphe.

S3 — Le solde : 𓁝[α]𓁜 = ε = 𓂀.

Les deux postures flanquant la même case : une figure entre, une sonde sort, elles se composent à travers le poste qui se solde en scalaire — 𓁝[#]♢𓁜 ⟶ 𓂀. Le moment où les deux regards se composent est l'Œil : c'est l'écriture graphique de [#]^♢ = ∘ (règle R4), et la raison pour laquelle 𓂀 siège précisément là. Les quatre degrés du couplage (⟨prix, quantité⟩ = 1 €, ⟨df, γ̇⟩ = (f∘γ)′, ⟨p, q̇⟩, ⟨ω, c⟩ de Stokes) s'écrivent tous ainsi.

✅ L'accord posture–variance (la simplification profonde)

V11.02 donnait déjà à chaque case ses deux variances : [#]^♢ (exposant, choses) et ♢_# (indice, mots), « les deux variances de la même case ». Le lexique v2 les fait correspondre aux deux postures : 𓁝 appelle l'écriture-exposant, 𓁜 appelle l'écriture-indice. Autrement dit : les deux variances d'une case sont les deux postures du Sujet devant elle. La variance cesse d'être une propriété des êtres : c'est une position du regard. (Et dans le solde 𓁝[α]𓁜, la case porte les deux à la fois — indice et exposant contractés : exactement la convention d'Einstein de sommation.)

3. Le lexique

Écriture	Lecture fonctionnelle	Lecture Einstein	Exemple
𓁝[#]^♢	Hom(−, poste) : les figures — le Sujet ex ante vise, s'inscrit	inscriptions à composantes compensatrices (exposant)	T_qM, l'éventail des vitesses ; une courbe q(t)
[#]_♢𓁜 (ou ♢_#𓁜)	Hom(poste, −) : les sondes — le Sujet ex post mesure, émet	mesures à composantes suiveuses (indice)	T*_qM, les impulsions ; une carte, un prix
𓁝[#]♢𓁜	composition à travers le poste : la case se solde, ε = ∘ = 𓂀	contraction exposant·indice → scalaire invariant (sommation d'Einstein)	⟨p, q̇⟩ ; ⟨ω, c⟩ ; ⟨prix, quantité⟩ = 1 €
[⚤]←[#]	morphisme entre deux postes nommés (espèce à préciser : oubli, libre, complétion, évaluation)	changement de registre effectif	pr_n, l'évaluation p-adique (session ℤ_p)
[#]♢⇀	— (le monde ne bouge pas)	geste de jauge : changement d'unité, de repère, de paramètre	litre → centilitre ; x → x′
⇆ ⇅	inchangés : adjonctions registrale et modale, leurs η et ε, leurs régimes		disc ⊣ U ⊣ codisc ; sk ⊣ tr ⊣ cosk
f_* / f^*	pousser (les figures suivent f) / tirer (les sondes remontent f)	⚠ l'étoile inverse la convention des indices : f_* transporte les choses, f^* les mots — le glyphe ment ; à typer, jamais à lire	Tf = f_* ; f^*ω

Portée des postures : elles vivent d'abord sur la ligne des bords (usage du blog : [∃]𓁝[⚤], [⚤]𓁜…). Leur emploi sur l'axe des modes (𓁝 sous ♡, 𓁜 sur ♧) est cohérent avec les deux tours mais reste à éprouver — point à discuter.

4. Le mot fécond : faisceau — relu par les postures

La porte était repérée dans le corpus sans être franchie : « Leray = porte repérée, non franchie » (note de reprise). Les faisceaux sont l'invention de Leray. Le lexique v2 rend leur définition presque tautologique :

Terme	Définition	Écriture / lecture entropologique
préfaisceau	foncteur contravariant vers Set : à chaque poste ses observations, à chaque flèche la restriction (tirée-en-arrière)	la totalisation des [α]𓁜 : tout ce que 𓁜 peut dire, poste par poste, avec les transports entre postes. (Symétriquement, la totalisation des 𓁝[α] — le préfaisceau des figures — existe : les ensembles simpliciaux de l'axe des modes en sont un, sur Δ. Un préfaisceau par posture.)
faisceau	préfaisceau satisfaisant le recollement : des observations locales compatibles se totalisent en une observation unique	un discours dont les dits locaux de 𓁜, quand ils s'accordent, font un dit global — le local se solde en global sans reste
section globale	une observation valable sur tout l'espace	un énoncé prononçable par 𓁜 depuis tous les postes à la fois
obstruction	ce qui empêche les sections locales de se recoller	le reste de la totalisation — ce que le tour complet refuse à 𓁜

Le cross-cap est l'exemple même : le faisceau des orientations n'a pas de section globale.

En chaque point de ℝP², 𓁜 peut choisir une orientation locale ; deux voisins s'accordent toujours ; et pourtant aucune orientation globale n'existe — le lacet générateur revient retourné. L'obstruction est exactement la monodromie déjà calculée : M = diag(1, −1), M² = Id, relue comme w₁ ∈ H¹(ℝP² ; ℤ/2) ≠ 0. La non-orientabilité est un énoncé de théorie des faisceaux : un discours partout localement cohérent, globalement imprononçable. Le « reste isolé et minimal » (l'aire de la base, la chiralité J) est ce que l'obstruction mesure. Et la cohomologie (H¹, H²…) est la comptabilité de ces restes, étage par étage : une théorie mesurée de ce qu'un Sujet en [#]^♢ peut totaliser de son Imaginaire, et de ce qui y résiste structurellement.

⚗️ Dossiers ouverts (signalés, non activés)

Le site de l'Imaginaire : pour rendre «faisceau» opératoire, il faut décider ce que «recouvrir un poste» veut dire (topologie de Grothendieck sur la ligne des bords ? sur la croix registres × modes ?). La vraie décision de conception — le reste suit mécaniquement.
Les postures sur l'axe des modes : 𓁝/𓁜 verticalisés — cohérent avec les deux tours, à éprouver sur les fiches existantes.
L'accord fin η↔𓁝, ε↔𓁜 : proposé ici comme correspondance de côté (ouvre/potentiel contre referme/informé), pas comme identité — les η/ε des adjonctions ⇆ ⇅ sont des flèches précises, les postures sont des positions du regard. À instruire avant de graver.
Le chiasme de l'étoile (f_*/f^*) : à verser à l'inventaire «le glyphe ment».
w₁² ≠ 0 sur ℝP² : l'étage 2 de la comptabilité des restes — à relier au double tour (J² = −I, deux traversées).

5. Inclusion

Réalise l'option (b) du § 8 de la consignation «La variance déclarée» :

le bloc «transport» de la prochaine version =
- les trois règles S1–S3,
- l'accord posture–variance,
le lexique du § 3,
- l'entrée « faisceau » comme premier bénéfice.
- Coût en glyphes : un seul ajout (le harpon ⇀) —

tout le reste réemploie l'écriture existante (cases V11.02, postures 𓁝/𓁜 du blog, flèches entre cases, ⇆ ⇅, 𓂀). V11.02 inchangé.

v2 — remplace la v1 sur correction de l'auteur (regard du Sujet, doublons, simplification). Rattachée à la consignation « La variance déclarée » (même jour). Le sens ex ante / ex post des postures 𓁝 / 𓁜 est celui du blog ; s'il doit s'entendre autrement, l'échange des deux glyphes se fait sans toucher au reste. 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 !

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.