Kolimiten und Garben

PKRN Kolimiten und Garben – laufender Arbeitsstand.

Diese Seite erläutert die theoretischen Konzepte hinter Kolimiten und Garben im PKRN-Modell und vermittelt ein fundiertes Verständnis der zugrundeliegenden Strukturen.


id: 202605231510 title: type: topic tags: [PKRN, Kategorientheorie, Kolimit, Garbentheorie, Topos] related: [] created: 2026-05-23 modified: 2026-06-10 status: draft


Zusammenfassung

Laufender Arbeitsstand der Theoriearbeit, die die Kolimiten-Beschreibung stabiler Bedeutungsstrukturen (Cluster/Chunks) in der PKRN kategorientheoretisch sauber fasst und auf eine Verbindung mit der Garben-/Kogarbentheorie vorbereitet. Festgehalten sind bisher: (1) was die Kolimiten in der PKRN abbilden, (2) die präzise Fixierung der Trägerkategorie C samt Existenznachweis der Kolimiten, (3) die Restriktions-Richtung als Garbe samt einer garbentheoretischen Definition von Stabilität, (4) ein erster Kalibrierungsfall (der stabile Begriff »Tisch«), und (5) der instabile Kalibrierungsfall »Agilität« — Lesarten als partielle Bewertungen, Verklebungs-Versagen bei grober Auflösung (Scheinbindung), Reparatur der Gegenprobe aus 4.4 und eine Schärfung der Stabilitätsdefinition (Garbe und \(F(U)\neq\emptyset\)), sowie (6) der Fall »Fortschritt« — Trennungs-Versagen durch zeitlich unsichtbare Aspekte, samt minimaler Formalisierung der Stabilität zweiter Stufe (Erwartungs-Garbe über Nicht-Garbe der Verhältnisse, nach Koschorke), und (7) der Grenzfall »Deckungsbeitrag« — Stabilität als zweifach indizierte Eigenschaft (Überdeckung × Modellierungstiefe), institutionelle Stabilisierung als Anreicherung des Überlapps. Neu hinzugekommen: (8) der Verträglichkeitssatz — Pushout-Verklebungen des Trägers sind automatisch legitime Überdeckungen für die Bedeutungs-Garbe und bleiben es unter Restriktion (Adhäsivität, effektive Vereinigungen, Van-Kampen); damit ist die in 3.4 behauptete Passung beider Seiten bewiesen.

Verwendung

Grundlage für den Brückenschlag PKRN ↔ Garbentheorie (Anschluss an die Sheaf-Recherche zu Menéndez/Winschel und an die Zeit-Diskussion mit Volkers relationalem Zeitbegriff). Dient zugleich als Wiedereinstiegspunkt: Abschnitt 9 hält den nächsten Schritt und die bewusst aufgeschobenen Punkte fest.

Inhalt

0. Vorhaben

Ziel ist es, die in der PKRN nur angedeutete kategorientheoretische Beschreibung stabiler Bedeutungsstrukturen so weit zu präzisieren, dass sie mit der Garbentheorie verbunden werden kann. Die PKRN behauptet: Cluster, Chunks, Black Boxes und Solitonen lassen sich als Kolimiten fassen. Diese Behauptung wird hier Schritt für Schritt mathematisch geprüft und ausgebaut.

Reihenfolge der Schritte:

  1. Was bilden die Kolimiten ab? (abgeschlossen — Abschnitt 1)
  2. Fixierung der Kategorie C und Existenz der Kolimiten. (abgeschlossen — Abschnitt 2)
  3. Restriktions-Richtung; Übergang zu Garbe/Kogarbe. (abgeschlossen — Abschnitt 3)
  4. Stabilitätsdefinition an Beispielen prüfen. (abgeschlossen — stabiler Fall »Tisch«, Abschnitt 4; Verklebungs-Versagen »Agilität«, Abschnitt 5; Trennungs-Versagen »Fortschritt« samt Stabilität zweiter Stufe, Abschnitt 6; Grenzfall »Deckungsbeitrag«, Abschnitt 7)
  5. Verträglichkeit von Träger-Kogarbe und Bedeutungs-Garbe. (abgeschlossen — Satz und Instanzverifikation, Abschnitt 8; offene Punkte und Wiedereinstieg in Abschnitt 9)

1. Schritt 1 — Was die Kolimiten abbilden

Ein Kolimit ist nie absolut, sondern existiert relativ zu einer Kategorie C und zu einem Diagramm \(D\colon J \to C\). \(J\) ist eine kleine Indexkategorie (die „Form“), die festlegt, welche lokalen Teile und welche sie verbindenden Relationen betrachtet werden.

Begriffsschärfung (Vorschlag). Die PKRN benutzt „Cluster“, „Chunk“, „Kolimit“, „Soliton“ weitgehend synonym. Mathematisch trennen wir:

  • Cluster = das Diagramm \(D\) selbst (das dichte Teilnetz lokaler Bedeutungen mit seinen internen Morphismen; in der MES-Sprache: das „Pattern“).
  • Chunk = das Kolimit-Objekt \(\operatorname{colim} D\) (die gebundene Einheit, die Black Box).
  • Soliton = der Chunk unter Dynamik: ein Kolimit-Objekt, das gegenüber der zeitlichen Entwicklung des Netzes (formal: ein Endofunktor auf C) seine Form behält — ein invariantes bzw. Fixpunkt-Objekt.

Formales. \(\operatorname{colim} D\) besteht aus einem Objekt \(K\) und einem Kokegel — einer Familie von Morphismen \(\iota_j\colon D(j)\to K\), verträglich mit allen Diagramm-Morphismen. Der Kokegel ist ein Bündel von Pfeilen in ein Objekt hinein. Universell heißt: \((K,\iota)\) ist der initiale solche Kokegel — für jeden anderen Kokegel \((X,f_j)\) gibt es genau einen Morphismus \(u\colon K\to X\), der alles faktorisiert. Die drei Bedingungen des PKRN-Anhangs entsprechen exakt: „kohärentes Einbetten“ = Kokegel kommutiert mit den Diagramm-Morphismen; „funktionale Äquivalenz“ = \(K\) vertritt das ganze Diagramm nach außen; „universell/kleinste“ = Initialität.

Was das Kolimit abbildet — drei Dinge zugleich:

  • (a) Die Grenze des Chunks. Extensional steckt die Zugehörigkeit in den Kokegel-Pfeilen \(\iota_j\).
  • (b) Die emergente Identität. \(\operatorname{colim} D\) ist ein Objekt desselben C und kann darum wieder als Teil in höhere Diagramme eingehen — das ist „rekursiv stabil“ (Iterierbarkeit ⇒ Hierarchie von Chunks). Es ist die formale Fassung von Badious compte-pour-un: das Diagramm ist die inkonsistente Vielheit, das Kolimit-Objekt das gezählte „Eins“.
  • (c) Der Stopp. Jedes Kolimit ist ein Quotient des Koprodukts: \(\operatorname{colim} D\) ist \(\bigsqcup_j D(j)\) modulo der Diagramm-Morphismen (formal ein Koegalisator). Daraus die Präzisierung von „mehr als die Summe der Teile“: der Chunk ist nicht mehr an Material — er ist sogar ein Quotient; das „Mehr“ ist die neue Objekt-Identität plus die echte Arbeit der Relationen (Verklebungen). Und er ist das minimale Objekt, das das leistet (Initialität ⇒ es wird nichts hineininterpretiert, was die Relationen nicht erzwingen). Die universelle Eigenschaft ist die formale Fassung von Simons Stopp-Regel und zugleich das Transaktionskosten-Argument: das Kolimit trägt keine willkürliche Zusatzstruktur, darum ist es die billigste stabile Einheit.

Nur eine Richtung. Alle Kokegel-Pfeile laufen von den Teilen in den Chunk hinein (\(D(j)\to K\)): die aufsteigende, bindende Richtung (Verklebung). Die PKRN hat aber eine zweite, nicht formalisierte Bewegung: Akteure tragen divergierende lokale Lesarten desselben Chunks (\(K\to K_a\)) — das ist Restriktion, kein Kolimit. Das Kolimit fasst die Bindung, nicht die Interpretationsvarianz. Ein Chunk ist stabil genau dann, wenn beide Bewegungen kohärent sind (Deszendenz-Bedingung) — und genau das leistet eine Garbe/Kogarbe. Orientierungsbefund: PKRNs Kolimit-Orientierung (Teile in die Einheit, Aufbau per Pushout) ist die kovariante Orientierung einer Kogarbe, also die Homologie-Seite — passend dazu, dass Menéndez/Winschel Inkonsistenz mit Homologie messen.

Auflösung einer Unschärfe. Die PKRN-Definition „jede Kommunikation, von der mindestens ein Akteur glaubt, dass sie dazugehört“ ist nicht kategoriell (beobachterrelativ, disjunktiv). Saubere Auflösung = der Zwei-Schritt-Prozess der PKRN selbst: Sinnunterstellung = Wahl des Diagramms \(D\colon J\to C\); Stabilisierung = Bildung von \(\operatorname{colim} D\). Instabilität = verschiedene Akteure wählen verschiedene Diagramme \(J\), also verschiedene Kolimiten; Stabilität = die gewählten Diagramme konvergieren so weit, dass ihre Kolimiten kanonisch übereinstimmen.

2. Schritt 2 — Fixierung der Kategorie C und Existenz der Kolimiten

2.1 Was wir von C verlangen (Desiderata)

  • (D1) Objekte repräsentieren lokale, interpretierte Bedeutungsstrukturen: Teilnetze von Kommunikationen samt der Sinnunterstellung, unter der sie gelesen werden.
  • (D2) Morphismen repräsentieren struktur- und bedeutungserhaltende Abbildungen: Einbettungen von Teilnetzen, Verfeinerungen, Übersetzungen.
  • (D3) C besitzt die benötigten Kolimiten (mindestens Pushouts, Koprodukte, Koegalisatoren, gefilterte und sequentielle Kolimiten); Kolimit-Objekte sind wieder Objekte von C (Rekursion).
  • (D4) Für den späteren Garben-Schritt soll C auch Limiten besitzen und „gutartig“ sein (Stabilität der Kolimiten unter Basiswechsel).
  • (D5) Es gibt einen Begriff von „demselben Chunk“ — Identität bis auf kanonische Isomorphie.

2.2 Die konkrete Wahl: C = Graph/L (typisierte Kommunikationsgraphen)

Basis. Graph ist die Funktorkategorie über der kleinen Kategorie mit zwei Objekten und zwei parallelen Pfeilen (\(\bullet\rightrightarrows\bullet\)). Ein Objekt ist ein gerichteter Multigraph \((V,E,s,t)\) mit \(s,t\colon E\to V\). Lesart: Knoten = Akteure, Kanten = Kommunikationen. Multigraph, weil zwischen zwei Akteuren mehrere Kommunikationen bestehen können.

Bedeutung als Typisierung. Ein bloßer Graph trägt keine Bedeutung. Wir fixieren einen Typgraphen \(L\), dessen Knoten Akteur- und Bedeutungs-Sorten und dessen Kanten Kommunikations-Sorten sind. Ein Objekt von C ist dann ein Graph \(G\) zusammen mit einem Typisierungs-Morphismus \(\tau\colon G\to L\). Formal:

\[C \;=\; \mathbf{Graph}/L \qquad \text{(Slice-Kategorie über } L\text{).}\]

Ein Morphismus in C ist ein Graphhomomorphismus, der die Typisierung respektiert. Die dreigliedrige Struktur der PKRN (sozial / semantisch / semiotisch) wird in \(L\) kodiert (Sorten und schichtübergreifende Kanten) — sie verlangt also keine neue Konstruktion, sondern nur einen hinreichend reichen Typgraphen.

Methodische Trennung. Tragend sind nicht die Details von Graph, sondern zwei strukturelle Forderungen: C soll kovollständig und adhäsiv sein (am besten ein Topos, der beides liefert). \(\mathbf{Graph}/L\) ist der konkrete, rechenbare Vertreter. Sollte er sich als zu arm erweisen, genügt ein beliebiger (kovollständiger, adhäsiver) Topos.

2.3 Die guten Eigenschaften von C — und damit die Existenz der Kolimiten

Schritt 1. Graph ist eine Prägarben-Kategorie, also ein Grothendieck-Topos ⇒ Graph ist vollständig und kovollständig.

Schritt 2. Ein Slice eines Topos ist wieder ein Topos (Fundamentalsatz der Topostheorie). Also ist \(C=\mathbf{Graph}/L\) ein Topos ⇒ ebenfalls vollständig und kovollständig.

Existenzsatz. Da C kovollständig ist, besitzt jedes kleine Diagramm \(D\colon J\to C\) ein Kolimit in C. Cluster der PKRN sind endliche oder höchstens abzählbare Teilnetze, also kleine Diagramme. Damit gilt: Für jeden Cluster existiert der zugehörige Chunk \(\operatorname{colim} D\) in C. — Das ist jetzt ein Theorem, kein Wunsch; es wird durch die Festlegung \(C=\mathbf{Graph}/L\) erkauft. (Bliebe C abstrakt-unbestimmt, wäre Kovollständigkeit nicht garantiert.)

Wie Kolimiten berechnet werden. In einer Prägarben-Kategorie werden Kolimiten punktweise gebildet (getrennt auf der Knoten- und der Kantenmenge, jeweils in Set). Im Slice gilt: der Vergiss-Funktor \(\mathbf{Graph}/L\to\mathbf{Graph}\) erzeugt Kolimiten — Kolimiten in C werden also genau wie in Graph gerechnet, nur unter Mitführung der Typisierung. Konkret: \(\operatorname{colim} D\) ist der Koegalisator

\[\operatorname{colim} D \;=\; \operatorname{coeq}\Big(\textstyle\bigsqcup_{(j\to k)} D(j)\;\rightrightarrows\;\bigsqcup_j D(j)\Big).\]

Adhäsivität. Jeder Topos ist adhäsiv (Lack/Sobociński, „Toposes are adhesive“). Adhäsiv heißt: Pushouts entlang von Monomorphismen existieren und sind van-Kampen-Quadrate. Das ist genau die Eigenschaft, die das Verkleben überlappender Nachbarschaften korrekt macht: das geteilte Teilnetz ist ein Mono in jede Nachbarschaft, der Pushout eines Monos ist wieder ein Mono, das Verkleben ist assoziativ und stabil. Konsequenz: PKRNs Pushout-basierte Selbstorganisation ist ein Spezialfall des Double-Pushout-(DPO-)Graphumschreibens — eine ausgearbeitete Theorie, deren Werkzeuge wir erben.

Stabilität der Kolimiten. In einem Topos sind Kolimiten universell (stabil unter Pullback / Basiswechsel). Vormerk für Schritt 3: genau diese Stabilität wird die Chunk-Bildung (Pushout) mit der Restriktion verträglich machen.

2.4 Welche Kolimiten wir konkret brauchen — und was sie modellieren

  • Koprodukt \(\bigsqcup\) — Nebeneinanderstellen unverbundener lokaler Strukturen (rohe Vielheit, noch ohne Verklebung).
  • Koegalisator — Identifizieren zweier lokaler Beschreibungen als „dieselbe“.
  • Pushout (Kofaserprodukt) entlang Monos — die Grundoperation der Chunk-Bildung: zwei Nachbarschaften entlang ihres geteilten Teilnetzes verkleben, \(A\sqcup_C B\).
  • Sequentielle (\(\omega\)-)Kolimiten — iterative Pushout-Folgen (PKRN: „iterativer Pushout-Prozess“), Aufbau der Hierarchie.
  • Gefilterte Kolimiten — der Chunk als Grenzwert einer fortlaufenden Akkumulation (Sedimentation); hier wird später auch der „Halm“-Begriff der Garbe ansetzen.

Alle kleinen Kolimiten existieren ohnehin (Topos); die Liste dient der Transparenz, welche wir tatsächlich verwenden.

2.5 Die zwei Graph-Ebenen — nicht verwechseln

  • Objekt-Ebene: jedes \(D(j)\in C\) ist selbst ein Graph (eine Nachbarschaft / ein lokales Netz); Kommunikationen sind Kanten innerhalb von \(D(j)\).
  • Diagramm-Ebene: \(J\) indiziert die Nachbarschaften und ihre Überlappungen. Die Morphismen, die das Diagramm in C benutzt, sind Mono-Einbettungen geteilter Teilnetze, in der Form von Spans \(D(j)\hookleftarrow D(j{\cap}k)\hookrightarrow D(k)\).
  • Das Kolimit verklebt die Nachbarschaften zum Chunk. Die Überlappungsdaten sind zugleich der Keim des Situs, auf dem in Schritt 3 die Garbe definiert wird.

2.6 Bewusst (noch) nicht in C gesteckt

  • Bindungsstärke (stark/schwach): das nackte Kolimit ignoriert Gewichte. Stärke ist Zusatzdatum (eine Gewichtung des Diagramms bzw. die Häufigkeit der Auswahl über Akteure). Aufgeschoben; eventuell später angereicherte/gewichtete Variante.
  • Variation der Sinnunterstellung über Akteure: in C steckt nur die konstitutive Sinnunterstellung (als Typisierung \(\tau\colon G\to L\)). Die Variation der Interpretation über Akteure/Kontexte ist die Restriktions-Richtung — sie gehört in den Garben-Schritt, nicht in C.
  • Existenz ≠ Adäquatheit: Kovollständigkeit garantiert, dass \(\operatorname{colim} D\) existiert. Ob es ein gutes Modell des jeweiligen Chunks ist, bleibt eine Modellierungsfrage, die an Beispielen geprüft wird.
  • Wahl der Basis: \(\bullet\rightrightarrows\bullet\) ist selbst eine Stellschraube. Werden Hyper-Kommunikationen (mehr als zwei Akteure) nötig, wechselt man zur Basis für Hypergraphen — weiterhin ein Prägarben-Topos, weiterhin adhäsiv. Invariant und tragend ist „Prägarben-Topos / adhäsiv“, nicht die konkrete Basis.

3. Schritt 3 — Restriktions-Richtung: Garben

3.1 Garbe und Prägarbe (Begriff)

Eine Prägarbe \(F\) ordnet jedem Gebiet (Kontext) \(U\) eine Menge \(F(U)\) von „Schnitten“ zu und jeder Inklusion \(V\subseteq U\) eine Restriktionsabbildung \(F(U)\to F(V)\), \(s\mapsto s|_V\) (verträglich: Identität auf \(U\), transitiv). Kategorientheoretisch: ein kontravarianter Funktor von der Gebietsordnung nach Set. Lesart: \(F(U)\) = die im Kontext \(U\) geltenden Daten/Bedeutungen; Restriktion = dieselben Daten im engeren Kontext.

Eine Prägarbe ist eine Garbe, wenn für jede Überdeckung \(\{U_i\}\) von \(U\) gilt:

  • Trennung: Stimmen \(s,t\in F(U)\) auf jedem \(U_i\) überein, dann \(s=t\).
  • Verklebung: Lokale Schnitte \(s_i\in F(U_i)\), die paarweise auf den Überlappen übereinstimmen (\(s_i|_{U_i\cap U_j}=s_j|_{U_i\cap U_j}\)), kommen von einem (dann eindeutigen) globalen \(s\in F(U)\).

Kompakt als Egalisator: \(F(U)\to\prod_i F(U_i)\rightrightarrows\prod_{i,j}F(U_i\cap U_j)\).

Halm. \(F_x=\operatorname{colim}_{U\ni x}F(U)\) — gefilterter Kolimit über schrumpfende Kontexte; die Lesart, die ein einzelner Punkt/Akteur trägt (der „Keim“). Hier setzen die in 2.4 vorgemerkten gefilterten Kolimiten an.

3.2 Die Restriktions-Richtung der PKRN ist eine Prägarbe

Der Chunk \(K\) (Träger, in Schritt 2 per Kolimit gebaut) wird über Kontexte gelesen. Ein Kontext \(U\) ist eine Region des Netzes, von der aus \(K\) benutzt wird (ein Teilnetz); der feinste Kontext ist ein einzelner Akteur. Setze

\[F(U)=\text{Menge der zulässigen Lesarten von }K\text{, die die Region }U\text{ trägt,}\]

mit Restriktion \(F(U)\to F(V)\) = „dieselbe Lesart, nur über die kleinere Region befragt“. Das ist eine Prägarbe. Die in Schritt 1 markierte zweite Bewegung „\(K\to K_a\)“ ist das System dieser Restriktionsabbildungen. PKRN-Zeile 481 („nicht sicher, dass jeder Leser gleich interpretiert“) = \(F(U)\) mehrelementig, Restriktion nicht injektiv.

3.3 Stabilität = Garbenbedingung (Definitionsvorschlag)

Vorschlag (Definition, kein Satz): Ein Chunk \(K\) ist eine stabile Bedeutungsstruktur genau dann, wenn die Prägarbe \(F\) seiner Lesarten eine Garbe ist.

Begründet wird der Vorschlag dadurch, dass die zwei Versagensarten zwei PKRN-Pathologien treffen:

  • Verklebung versagt: lokal verträgliche Lesarten ohne globale Synthese — Scheinbindung, der Chunk wirkt als Einheit, ist aber keine.
  • Trennung versagt: zwei lokal ununterscheidbare globale Lesarten — der Chunk ist unterbestimmt/mehrdeutig (Lotmans Randoszillation, verhärtet zur Mehrdeutigkeit).

Garbe = keines von beidem = lokale Lesarten bestimmen das Ganze und fügen sich zu genau einem Ganzen.

Damit zerfällt das PKRN-Wort „Stabilisierung“ sauber: der Kolimit (Schritt 2) konstruiert den Träger, die Garbenbedingung zertifiziert die kontextübergreifende Stabilität der Bedeutung. Ergänzend zu Schritt 1: dort betraf Stabilität die Eingabe (Diagrammwahl), hier die Ausgabe (Kohärenz der Lesarten).

3.4 Beide Richtungen über einem Situs

Dualität. Schritt 2: \(\operatorname{coeq}(\bigsqcup\rightrightarrows\bigsqcup)\) — Chunk als Ziel. Schritt 3: \(\operatorname{eq}(\prod\rightrightarrows\prod)\) — globaler Schnitt als Quelle. In jedem Feld dual (\(\bigsqcup\leftrightarrow\prod\), Koegalisator \(\leftrightarrow\) Egalisator, Ziel \(\leftrightarrow\) Quelle). Restriktion = formales Spiegelbild der Verklebung.

Träger vs. Bedeutung über demselben Situs \(S\) (Überdeckungen von \(S\) = Überlappungsdaten aus 2.5):

  • Träger-Seite = Kogarbe (\(U\mapsto\) Netz über \(U\), Kolimit-Verklebung) — Schritt 2 global gemacht.
  • Bedeutungs-Seite = Garbe (\(U\mapsto\) Lesarten über \(U\), Restriktion) — Schritt 3.

Kernbefund: Der Träger ist ein Kolimit (nach oben verklebt), die Bedeutung ein Limes (der globale Schnitt ist ein Egalisator). Ein stabiler Chunk ist das Zusammenfallen beider — eine Kolimit-Konstruktion, die kohärent eine Limes-Bedeutung trägt. Eine (Ko-)Garbe ist genau das Gebilde, das Kolimit und Limes über einem Situs zusammenhält (Schnitte = Limiten, Halme = Kolimiten).

Situs statt Raum. Ein Situs axiomatisiert „Überdeckung“ direkt, ohne umgebenden Raum oder Hierarchie — die formale Antwort auf die Chat-Sorge „Garbe braucht Basisraum, Polykontexturalität ist keine Hierarchie“. Damit Wiederanschluss an Menéndez/Winschel: deren Garbe lokaler Buchführungen = derselbe Zug, unsere Garbe der Lesarten = das Bedeutungs-Analogon.

4. Schritt 4 — Beispiel: der stabile Begriff »Tisch«

Erster Kalibrierungsfall für die Definition aus 3.3. Gewählt: ein ersichtlich stabiler Begriff, an dem geprüft wird, ob die Definition das erwartete Verdikt „Garbe“ liefert.

4.1 Szene und Situs

Chunk = der Begriff „Tisch“. Szene: Auffordernder \(S\) schickt Aufgefordertem \(A\) die Nachricht \(m\) = „Leg den Brief auf den Tisch“; sonst keine Kommunikation (Annahme: kein Sichtkontakt, kein Rückkanal).

Knoten: \(S\), \(A\), \(m\) (Nachricht = semiotischer Akteur). Kontexte (Regionen des Netzes):

  • \(U=\{S,m,A\}\) — ganze Szene
  • \(U_S=\{S,m\}\) — Region des Auffordernden
  • \(U_A=\{m,A\}\) — Region des Aufgeforderten
  • \(\{m\}\) — nur die Nachricht; dazu \(\emptyset\)

Ordnung: \(\emptyset\subseteq\{m\}\subseteq U_S\subseteq U\) und \(\emptyset\subseteq\{m\}\subseteq U_A\subseteq U\). Entscheidende Überdeckung: \(U=U_S\cup U_A\), Überlapp \(U_S\cap U_A=\{m\}\) — die kleinste nicht-triviale Überdeckung (zwei Stücke, ein Überlapp).

4.2 Die Prägarbe F

Eine Lesart = ein Kriterium (die Grenze „zählt als Tisch / zählt nicht“). \(F(U‘)\) = Menge der Kriterien, die die Region \(U’\) trägt.

  • \(F(\emptyset)=\{\ast\}\) (Konvention, terminal).
  • \(F(\{m\})=\{\tau_1,\tau_2,\tau_3\}\) — die Lesarten des bloßen Wortes; das Wort lässt a priori Spielraum (\(\tau_1\) eng, \(\tau_2\) Standard, \(\tau_3\) weit). Mehrelementig — sonst wäre der Überlapp-Test leer.
  • \(F(U_S)=\{c_S\}\), \(F(U_A)=\{c_A\}\) — kompetente Sprecher mit je einem bestimmten Begriff.
  • \(F(U)\) = Kriterien, die die ganze Szene trägt — unabhängig beobachtet, nicht aus den übrigen Werten definiert (sonst zirkulär).

Restriktion \(F(U_S)\to F(\{m\})\) und \(F(U_A)\to F(\{m\})\) = Einbettung des bestimmten Kriteriums in den Wort-Spielraum.

Substantieller Input („Tisch ist stabil“): kompetente Sprecher ziehen dieselbe Grenze, also \(c_S=c_A=\tau_2\); die Szene trägt dieses gemeinsame Kriterium, \(F(U)=\{\tau_2\}\).

4.3 Garbenprüfung

Garbenbedingung für \(U=U_S\cup U_A\), Überlapp \(\{m\}\): \(F(U)\) ist Egalisator von \(F(U)\to F(U_S)\times F(U_A)\rightrightarrows F(\{m\})\).

Verträgliche Familien: \(F(U_S)\times F(U_A)=\{(\tau_2,\tau_2)\}\); auf \(\{m\}\) restringiert ergibt beides \(\tau_2\) — sie stimmen überein. Verträgliche Familien \(=\{(\tau_2,\tau_2)\}\).

  • Verklebung: \((\tau_2,\tau_2)\) kommt von \(\tau_2\in F(U)\). ✓
  • Trennung: \(F(U)=\{\tau_2\}\) einelementig, trivial erfüllt. ✓

Vergleichsabbildung \(F(U)\to\{(\tau_2,\tau_2)\}\) bijektiv. Verdikt: »Tisch« ist stabil — deckt sich mit dem unabhängigen Urteil.

4.4 Befunde

  • Kalibrierung, kein Beweis. Der Durchgang zeigt nicht, dass „Tisch“ stabil ist (das war bekannt), sondern dass die Definition richtig reagiert. Gegenprobe: bei \(c_S\neq c_A\) gäbe es keine verträgliche Familie auf \(\{m\}\), \(F(U)\) hätte aber zwei Elemente — keine Bijektion, keine Garbe (Trennung versagt). Die Definition unterscheidet also; der bestandene Test ist informativ, nicht tautologisch. (Korrektur 2026-06-10: Die Gegenprobe ist so nicht haltbar — die Funktorialität der Prägarbe erzwingt bei \(c_S\neq c_A\) vielmehr \(F(U)=\emptyset\), denn jeder globale Schnitt restringiert automatisch zu einer verträglichen Familie. Die korrekte Fassung des instabilen Falls steht in Abschnitt 5, insbesondere 5.5.)
  • Wo Stabilität sitzt. Die ganze Prüfung fand bei \(F(\{m\})\) statt — am Überlapp, am geteilten Zeichen. Stabilität heißt: die lokalen Lesarten stimmen auf dem geteilten Zeichen überein. Stabilität ist am semiotischen Substrat lokalisiert, nicht diffus „im Begriff“.
  • Mehrdeutigkeit ≠ Instabilität. \(F(\{m\})\) ist dreielementig (Wort a priori mehrdeutig), \(F\) trotzdem Garbe. Garbe-Sein betrifft das Verkleben, nicht die Eindeutigkeit der Schnitte.
  • Objektiv, aber unsichtbar. Ohne Rückkanal erfahren \(S,A\) nie, ob \(c_S=c_A\). Die Garbenbedingung gilt/versagt objektiv, innerhalb der Szene aber unbeobachtbar. Eine einzelne Szene ohne Feedback stabilisiert nicht, sie instanziiert nur die vorbestehende (In-)Stabilität.
  • Reichweite. Eine Szene = eine Überdeckung. Garbe-Sein quantifiziert über alle Überdeckungen; ein volles Verdikt für „Tisch“ verlangt den ganzen Situs der Verwendungen.

5. Schritt 5 — Gegenbeispiel: der instabile Begriff »Agilität«

Zweiter Kalibrierungsfall (2026-06-10): ein erwartbar instabiler Begriff. Zu prüfen war, ob dieselbe Maschinerie korrekt „keine Garbe“ liefert und welche Versagensart auftritt. Substantieller Input aus der Beratungspraxis (F.P.): Lesarten von „agil“ treten in Kombinationen auf, auch mit negierten Anteilen — Methode mit Effizienzerwartung kommt ebenso vor wie Methode mit erlebtem Mehraufwand (also der Negation der Effizienz-Lesart).

5.1 Szene und Situs

Chunk = der Begriff „Agilität“. Szene: Management \(M\) verkündet dem Entwicklungsteam \(T\) in einer Townhall die Nachricht \(m\) = „Ab nächstem Quartal arbeiten wir agil“; kein Rückkanal in der Szene (reine Verkündung — dieselbe Asymmetrie wie beim Brief in 4.1).

Knoten: \(M\), \(m\) (Nachricht = semiotischer Akteur), \(T\). Kontexte: \(U=\{M,m,T\}\), \(U_M=\{M,m\}\), \(U_T=\{m,T\}\), \(\{m\}\), \(\emptyset\). Überdeckung: \(U=U_M\cup U_T\), Überlapp \(U_M\cap U_T=\{m\}\).

Der Situs ist strukturgleich zu 4.1 — beabsichtigt: ein anderes Verdikt kann dann nur am Inhalt der Prägarbe liegen, nicht am Aufbau der Szene.

5.2 Lesarten als partielle Bewertungen

Neu gegenüber dem Tisch-Fall: Lesarten werden nicht als atomare Kriterien angesetzt, sondern als partielle Bewertungen über einer Aspektmenge. Aspekte von „agil“:

  • \(\alpha_1\) — Methode/Rituale (Sprints, Standups, Boards)
  • \(\alpha_2\) — Anpassungsfähigkeit (schnelle Reaktion auf Markt/Anforderungen)
  • \(\alpha_3\) — Teamautonomie (Selbstorganisation, Entscheidungsdelegation)
  • \(\alpha_4\) — Effizienz/Tempo (schneller mehr liefern)

Eine Lesart ist eine partielle Funktion \(c\colon A\rightharpoonup\{+,-\}\) (bewertete Aspekte; nicht erwähnte bleiben unbestimmt). \(r\) verfeinert \(c\), wenn \(r\) alle Festlegungen von \(c\) gleichsinnig enthält. Zwei Lesarten sind konsistent, wenn kein Aspekt entgegengesetzt bewertet wird — genau dann existiert eine gemeinsame Verfeinerung (das Supremum im Verfeinerungs-Poset).

Drei Vorteile dieser Formalisierung: (i) Kombinationen und Negationen („\(\alpha_1\) mit \(\alpha_4\)“, „\(\alpha_1\) mit \(\neg\alpha_4\)“) sind direkt ausdrückbar; (ii) „keine globale Lesart“ wird beweisbar statt stipuliert (Nichtexistenz der gemeinsamen Verfeinerung); (iii) der nicht-verklebbare Rest ist als konkreter Aspektkonflikt lokalisierbar — Vormerk für den Homologie-Anschluss.

Empirische Festlegung (der substantielle Input, Gegenstück zu „kompetente Sprecher ziehen dieselbe Grenze“):

\[c_M=\{\alpha_2{+},\,\alpha_4{+}\}\qquad c_T=\{\alpha_1{+},\,\alpha_4{-}\}\]

Das Management meint Anpassungsfähigkeit mit Effizienzversprechen; das Team hört Methodeneinführung und erlebt Mehraufwand. \(F(U_M)=\{c_M\}\), \(F(U_T)=\{c_T\}\). Der Konflikt sitzt bei \(\alpha_4\).

\(F(U)\) ist hier — anders als beim Tisch — abgeleitet, nicht stipuliert: Eine Lesart, die die ganze Szene trägt, muss auf beide Regionen restringieren, also gemeinsame Verfeinerung von \(c_M\) und \(c_T\) sein. \(c_M\) und \(c_T\) sind inkonsistent (\(\alpha_4\)) ⇒ \(F(U)=\emptyset\).

5.3 Die Auflösung des Überlapps — zwei Prägarben

Der entscheidende Modellierungspunkt ist, was das geteilte Zeichen \(\{m\}\) registriert:

  • Feine Auflösung \(F^{\mathrm{fein}}(\{m\})\) = der ganze Spielraum des Wortes (alle partiellen Bewertungen über \(A\), hier \(3^4=81\)); Restriktion = Einbettung der bestimmten Lesart (wie in 4.2).
  • Grobe Auflösung \(F^{\mathrm{grob}}(\{m\})\) = \(\{\bot\}\), nur die leere Bewertung: das bloße Token „agil“, das keinen Aspekt festlegt; Restriktion vergisst alle Bestimmungen.

Grob ist die Auflösung, auf der die Organisation tatsächlich operiert: man bekennt sich zum Wort, ohne die Aspekte zu explizieren.

5.4 Garbenprüfung

Grobe Auflösung. Beide Lesarten restringieren auf \(\bot\) — Übereinstimmung am Überlapp ist trivial. Verträgliche Familien \(=\{(c_M,c_T)\}\), aber \(F(U)=\emptyset\): die Vergleichsabbildung \(\emptyset\to\{(c_M,c_T)\}\) ist nicht surjektiv. Verklebung versagt — keine Garbe. Verdikt: instabil, Versagensart Verklebung = Scheinbindung.

Feine Auflösung. \(c_M\neq c_T\) als Elemente des Spielraums; keine verträgliche Familie; \(F(U)=\emptyset\). Die Vergleichsabbildung \(\emptyset\to\emptyset\) ist bijektiv — die Garbenbedingung ist leer erfüllt. Die Definition aus 3.3 wäre auf feiner Auflösung blind für den Fall (dazu 5.5).

Kontrollen (programmatisch durch Enumeration aller 81 Bewertungen gegengeprüft, 2026-06-10): dieselbe Maschinerie reproduziert für \(c_S=c_A=\tau_2\) das Tisch-Verdikt „Garbe“; die Agilitäts-Befunde wie angegeben.

5.5 Befunde

  • Scheinbindung ist ein Phänomen grober Auflösung. Die verträgliche Familie („alle sagen agil“) kommt von keinem globalen Schnitt. Die Verträglichkeit am Überlapp ist trivial, weil das geteilte Zeichen nichts festlegt: Scheinbindung ist Einigkeit über die leere Bestimmung. Das ist die formale Fassung der Diagnose „Organisationen sprechen von Agilität, meinen aber Unterschiedliches“.
  • Feinere Auflösung verwandelt Scheinbindung in offenen Dissens. Auf \(F^{\mathrm{fein}}\) verschwindet die verträgliche Familie; das latente Missverständnis liegt unterhalb der groben Auflösungsschwelle und wird erst bei feinerer Anschlusskommunikation sichtbar — deckungsgleich mit dem Befund zur Beobachtungsauflösung im Essay vom 2026-06-10.
  • Reparatur der Gegenprobe aus 4.4. Die dortige Behauptung (\(F(U)\) zweielementig, Trennung versagt) verletzt die Funktorialität: jeder globale Schnitt restringiert automatisch zu einer verträglichen Familie (Transitivität der Restriktionen erzwingt Übereinstimmung am Überlapp). Bei \(c_S\neq c_A\) ist auf feiner Auflösung \(F(U)=\emptyset\) erzwungen. Die korrekte Diagnose des instabilen Falls ist das hier gezeigte Verklebungs-Versagen bei grober Auflösung.
  • Schärfung der Stabilitätsdefinition (Vorschlag). Stabil = \(F\) ist Garbe und \(F(U)\neq\emptyset\) auf der relevanten Überdeckung. Ohne den Zusatz zählte ein Begriff, der nirgends eine gemeinsame Lesart trägt, wegen leer erfüllter Garbenbedingung als stabil. Unter der geschärften Definition: »Tisch« stabil; »Agilität« auf beiden Auflösungen instabil — grob als Scheinbindung (Verklebung versagt), fein als offener Dissens (\(F(U)=\emptyset\) bei erfüllter Garbenbedingung). Die Auflösung bestimmt also nicht das Verdikt, sondern die Erscheinungsform der Instabilität — sie wird damit zum diagnostischen Parameter.
  • Variante mit mehrdeutiger Region (Ausblick). Setzt man realistischer \(F(U_T)=\{t_1,t_2\}\) mit \(t_1=\{\alpha_1{+},\alpha_4{+}\}\), \(t_2=\{\alpha_1{+},\alpha_4{-}\}\), dann verklebt die Familie \((c_M,t_1)\) (drei globale Fortsetzungen, frei in \(\alpha_3\)), \((c_M,t_2)\) dagegen nicht. Zweierlei deutet sich an: Selektionsdynamik (unter Anschlusskommunikation überleben die Lesarten, die verkleben — Anschluss an die Soliton-/Fixpunktfrage) und Trennungs-Versagen (die drei Fortsetzungen unterscheiden sich nur im regional unsichtbaren \(\alpha_3\): verschiedene globale Lesarten, lokal ununterscheidbar). Kandidat für einen eigenen Durchgang zum Trennungs-Versagen: »Fortschritt« (Koschorke) — universalistische und exklusive Lesart als zwei globale Schnitte über denselben lokalen Daten. (Durchgeführt in Abschnitt 6.)

6. Schritt 6 — Gegenbeispiel: der instabile Begriff »Fortschritt«

Dritter Kalibrierungsfall (2026-06-10): das Trennungs-Versagen als Hauptbefund, dazu die minimale Formalisierung von Koschorkes Stabilität zweiter Stufe. Quelle: [[Memo – PKRN und Koschorke, Zeit als Verklebung 2026-06-05]]. Erwartung: zwei global verschiedene Lesarten, die lokal ununterscheidbar sind — Koschorkes Wartestand, in dem das „noch nicht“ (Inklusion kommt) und das „nie“ (Essentialisierung) in der Gegenwart durch keine Beobachtung zu unterscheiden sind.

6.1 Zeitlich indizierte Aspekte

Erweiterung der partiellen Bewertungen aus 5.2: Die Aspektmenge zerfällt in \(A = A_{\mathrm{präs}} \sqcup A_{\mathrm{fut}}\). Gegenwärtige Kontexte bestimmen nur präsente Aspekte; die Restriktion auf einen gegenwärtigen Kontext vergisst die Zukunftsaspekte. Das ist die ärmste denkbare Vorform der zeitlichen Achse — ein einzelner Zukunftsindex statt einer vollen Filtration; die volle Form bleibt aufgeschoben (7).

Aspekte von „Fortschritt“ (Vormärz):

  • \(\varphi_1\) — Richtungssinn („es geht aufwärts“; präsent)
  • \(\varphi_2\) — Wartestand / Vorläufigkeit der Ausschlüsse („noch nicht“; präsent)
  • \(\varphi_3\) — finale Inklusion („am Ende sind alle einbezogen“; Zukunft)

6.2 Szene und Situs

Regionen: \(U_B\) (begünstigtes Bürgertum), \(U_A\) (Ausgeschlossene), geteiltes Zeichen \(m\) = das Fortschrittsnarrativ. Kontexte und Überdeckung analog 4.1/5.1: \(U = U_B \cup U_A\), Überlapp \(\{m\}\). Entscheidend: alle Kontexte der Überdeckung sind gegenwärtig — die Zukunft ist kein Element der Überdeckung.

Empirische Festlegung (Koschorke, Teil 2/02: die Bindekraft des Fortschrittsnarrativs reichte über den Kreis der aktuell Begünstigten hinaus):

\[c_B = c_A = \{\varphi_1{+},\,\varphi_2{+}\}\]

Beide Regionen teilen Richtungssinn und Wartestand; keine bestimmt \(\varphi_3\) — sie können es nicht, \(\varphi_3\) ist zeitlich unsichtbar.

6.3 Garbenprüfung

\(F(U)\) ist wieder abgeleitet: eine Lesart der ganzen Szene muss auf beide Regionen restringieren, also im präsenten Teil mit \(c_B = c_A\) übereinstimmen; \(\varphi_3\) bleibt frei. Damit

\[F(U) = \{\,r_0\ (\varphi_3\ \text{unbestimmt}),\quad r_1 = \{\ldots,\varphi_3{+}\}\ \text{(universalistisch)},\quad r_2 = \{\ldots,\varphi_3{-}\}\ \text{(exklusiv-essentialistisch)}\,\}\]

— drei Elemente. Verträgliche Familien: genau eine, \((c_B, c_A)\), und zwar auf jeder Auflösung des Überlapps (da \(c_B = c_A\)). Prüfung:

  • Verklebung: gelingt. Die Familie kommt von globalen Schnitten (sogar von dreien).
  • Trennung: versagt. Drei verschiedene globale Lesarten mit identischen Restriktionen; die Vergleichsabbildung ist 3-zu-1, nicht injektiv.

Keine Garbe; Versagensart Trennung. Mit der geschärften Definition aus 5.5: \(F(U)\neq\emptyset\) — die Instabilität ist hier reines Trennungs-Versagen, komplementär zum Agilitäts-Fall. (Programmatisch gegengeprüft, 2026-06-10.) »Fortschritt« im Vormärz verklebt, trägt globale Lesarten, ist aber global unterbestimmt: verhärtete Mehrdeutigkeit, und zwar strukturell unsichtbar — es gibt keinen Überlapp, an dem ein Konflikt erschiene.

6.4 Stabilität zweiter Stufe — die Erwartungs-Garbe

Erwartungen sind präsente Daten über Zukunftsaspekte. Setze

\[F'(V) = \text{Menge der Erwartungen (partielle Bewertungen über } A_{\mathrm{fut}}\text{), die Region } V \text{ gegenwärtig trägt.}\]

Vormärz: \(e_B = e_A = \{\varphi_3{+}\}\) — das geteilte Fortschrittsnarrativ. \(F’\) ist Garbe; der globale Erwartungs-Schnitt wählt unter den drei ununterscheidbaren globalen Lesarten \(r_1\) aus, ohne dass \(F\) diese Wahl verifizieren könnte (kein gegenwärtiger Kontext bestimmt \(\varphi_3\)). Das ist der Kredit, formal: \(F’\) behauptet eine Selektion, deren Deckung außerhalb der Überdeckung liegt. Koschorkes Formel — Garbe der Erwartungen über einer Nicht-Garbe der Verhältnisse — wird damit zur präzisen Aussage: \(F’\) Garbe, \(F\) keine Garbe, beide über demselben Situs.

Kreditkündigung (nach 1848): \(e_A\) wechselt zu \(\{\varphi_3{-}\}\) (das Versprechen wird nicht mehr geglaubt), \(e_B\) hält \(\{\varphi_3{+}\}\) oder kassiert es. Damit nimmt \(F’\) exakt die Gestalt des Agilitäts-Falls an: am groben Überlapp (das bloße Wort „Fortschritt“) trivial verträglich, aber keine gemeinsame Verfeinerung — Verklebungs-Versagen in \(F’\). (Programmatisch gegengeprüft.) Die zweite Stufe reißt nach dem Muster der ersten Versagensart: die Versagensarten komponieren über die Stufen — Trennung in \(F\) (latent), später Verklebung in \(F’\) (manifest).

Realistische Variante: die verschwimmende Projektion (F.P., 2026-06-10). Die obige Fassung idealisiert \(e_B = e_A\). Realistischer unterscheiden sich die Zukunftsvisionen inhaltlich von Anfang an (materieller Ausgleich vs. perfektionierte Ordnung; Koschorke: „nur das Tempo war strittig“) und verkleben nur auf grober Auflösung der Zukunft — am Token „bessere Zukunft für alle“. Dann ist \(F’\) selbst eine Scheinbindung (Agilitäts-Muster auf Stufe zwei), und zwar von Anfang an: der Kredit war nie sauber gedeckt, sondern so notiert, dass die Deckungslücke unbeobachtbar blieb. Der Zerfall ist dann zwangsläufiger als in der idealisierten Fassung — niemand muss seine Erwartung ändern; das Verstreichen der Zeit stellt die Projektion scharf. Zwei Operationen sind dabei strikt zu trennen: feinere Auflösung (Beobachter-Operation innerhalb \(A_{\mathrm{präs}}\), jederzeit möglich — sie knackt die Agilitäts-Scheinbindung, aber nicht den Wartestand, dessen strittiger Aspekt außerhalb des Beobachtbaren liegt) und Zeitablauf (Migration von Aspekten aus \(A_{\mathrm{fut}}\) nach \(A_{\mathrm{präs}}\), nicht im Belieben der Beobachter — nur sie disambiguiert den Wartestand). Die ausbleibenden Auszahlungen sind kein genaueres Hinsehen, sondern neue Daten.

6.5 Befunde

  • Einheitliche Form des Trennungs-Versagens. Globale Lesarten unterscheiden sich nur in Aspekten, die kein Kontext der Überdeckung bestimmt. In der Agilitäts-Variante (5.5) war das regional unsichtbare \(\alpha_3\); hier ist es der zeitlich unsichtbare Zukunftsaspekt \(\varphi_3\). Gemeinsame Diagnose: die Überdeckung ist zu arm für die Bedeutung — Trennung versagt genau auf dem nicht überdeckten Teil des Aspektraums.
  • Die zwei Versagensarten sind komplementär kalibriert. Verklebung versagt, wenn das geteilte Zeichen zu wenig festlegt (Überlapp zu grob — »Agilität«); Trennung versagt, wenn die Überdeckung zu wenig sieht (Aspekte unbeobachtbar — »Fortschritt«). Beidemal ein Defekt des Situs relativ zur Bedeutung, an verschiedenen Stellen lokalisiert.
  • Der Wartestand erzeugt Trennungs-Versagen. Verzeitlichung ist eine Stabilisierungstechnik, die den strittigen Aspekt aus der Überdeckung hinausschiebt: Scheinstabilität durch Unbeobachtbarkeit, nicht durch Einigkeit. (Hegels „abstrakt“ in zeitlicher Gestalt: die fehlende Bestimmung ist die Zukunftsbestimmung.)
  • Diachrone Coda — der Verdikt-Wechsel als Pfad. Vormärz: Trennung versagt latent in \(F\), \(F’\) ist Garbe (Kredit gedeckt, Auszahlungen plausibilisieren). Nach 1848 bzw. unter Zukunftsverknappung: \(F’\) verliert die Verklebung. Die Lebensgeschichte eines Verklebungsregimes (Koschorke-Memo § 5: Einrichtung, Funktionieren auf Kredit, Erschöpfung, Zerfall) ist im Modell als Pfad durch die Versagensarten darstellbar — der erste Kalibrierungsfall mit historischem Verdikt-Wechsel.
  • Vormerk Filtration. \(\varphi_3\) als einzelner Zukunftsaspekt ist die ärmste Zeitachse. Die volle Form — Filtriertheit der Indexkategorie, „Kredit wird bedient“ als Fortsetzbarkeit von Schnitten entlang der Filtration, „Zukunftsverknappung“ als Verlust der Kofinalität — bleibt offen; Anschluss an Volkers relationalen Zeitbegriff (KlElPm).

7. Schritt 7 — Grenzfall: der Begriff »Deckungsbeitrag«

Vierter Kalibrierungsfall (2026-06-10): ein Grenzfall, nicht vorab entschieden. Unabhängiges Praxisurteil (F.P., Controlling-Beratung): „überwiegend stabil“. Substantieller Input aus der Praxis: (i) die häufigste Kollision ist die Stufen-Ambiguität („der DB“ ohne Stufenangabe — Vertrieb meint DB I, Geschäftsführung meint DB nach Fixkostenzurechnung); (ii) tieferliegend fehlt meist ein durchdachtes Zuordnungsmodell für Aufwand und Ergebnis — Quervergleiche können sich aber nur auf ein Modell beziehen; (iii) was die Lesarten zusammenhält, sind ERP-Report und Controlling-Richtlinie als Gewohnheit, die von Personen aufrechterhalten werden muss.

7.1 Was den Fall unterscheidet: ein reiches Zeichen

»Tisch« und »Agilität« teilen ein armes Zeichen (ein Wort, das wenig bzw. nichts festlegt). Der Deckungsbeitrag führt sein Zeichen mit sich: den Report — eine Zahl samt sichtbarem Stufenschema, hinter dem eine Richtlinie steht. Der Überlapp ist hier nicht das bloße Token, sondern ein semiotisches Substrat, das selbst Bestimmungen trägt. Hypothese: institutionelle Stabilisierung = Anreicherung des Überlapps.

Aspekte (flache, operative Modellierungstiefe): \(\delta_1\) — Stufe ist DB I; \(\delta_2\) — Berechnung gemäß Richtlinie; \(\delta_3\) — „Produkt \(P\) trägt positiv zur Fixkostendeckung bei“.

7.2 Drei Szenarien, drei Verdikte

Alle drei programmatisch gegengeprüft (2026-06-10).

S1 — Monatsmeeting mit Report (reicher Überlapp, flache Tiefe). Regionen Vertrieb \(V\) und Controlling \(C\), Überlapp = der Report, der \(\delta_1{+},\delta_2{+}\) selbst bestimmt. Beide Regionen lesen richtlinienkonform: \(c_V=c_C=\{\delta_1{+},\delta_2{+},\delta_3{+}\}\). Alle Aspekte bestimmt ⇒ \(F(U)\) einelementig, eine verträgliche Familie, Vergleichsabbildung bijektiv. Garbe; stabil (auch in der geschärften Definition). Das reproduziert das unabhängige Urteil „überwiegend stabil“ — der Alltag des Begriffs spielt in diesem Szenario.

S2 — Flurgespräch ohne Report (Token-Überlapp, flache Tiefe). „Der DB von \(P\) ist gut“, keine Stufenangabe. \(c_V=\{\delta_1{+},\delta_3{+}\}\) (Vertrieb: DB I, provisionsrelevant), \(c_{GF}=\{\delta_1{-},\delta_3{+}\}\) (Geschäftsführung: nach Fixkostenzurechnung). Am Token trivial verträglich, aber keine gemeinsame Verfeinerung (\(\delta_1\)-Konflikt): \(F(U)=\emptyset\) — Verklebung versagt, exakt das Agilitäts-Muster (5.4). Ohne sein reiches Zeichen fällt der Begriff auf das Token zurück.

S3 — Entscheidungskontext (reicher Überlapp, vertiefter Aspektraum). Sortimentsbereinigung oder Quervergleich artikuliert die in \(\delta_2\) versteckten Zuordnungsfragen als eigene Aspekte: \(\zeta_1\) — Frachten variabel?, \(\zeta_2\) — Gemeinkostenschlüssel kausal? Niemand hat sie je bestimmt (das fehlende Zuordnungsmodell). Beide Regionen tragen weiter nur die flachen Bestimmungen ⇒ \(F(U)\) enthält \(3{\times}3=9\) globale Lesarten, die sich nur in \(\zeta_1,\zeta_2\) unterscheiden — identische Restriktionen, eine Familie. Trennung versagt. Unter \(M_1\) (Frachten variabel) kann \(P\) positiven, unter \(M_2\) negativen Beitrag haben: dieselbe Reportzahl, unvereinbare Entscheidungsbedeutungen.

7.3 Befunde

  • Stabilität wird vom Zeichen geerbt. »Tisch« ist stabil, weil kompetente Sprecher dieselbe Lesart mitbringen (Konvention); der Deckungsbeitrag ist stabil, weil das geteilte Zeichen die Lesart erzwingt (Institution). Das verschärft den Befund aus 4.4 („Stabilität sitzt am semiotischen Substrat“): sie sitzt im Reichtum des Substrats. Wo das Zeichen nicht mitreist — Flurgespräch, fremde Firma, Schatten-Excel — verhält sich der Begriff wie »Agilität«.
  • Modellierungstiefe ist ein zweiter Stabilitätsparameter. Das Verdikt ist zweifach indiziert: über die Überdeckung (Reichweite, 4.4) und über die Tiefe des Aspektraums. S1 und S3 haben denselben Situs und dieselben Regionen-Lesarten; nur die Artikulation des Aspektraums unterscheidet sie — und kippt das Verdikt. Quervergleiche setzen ein Zuordnungsmodell voraus, heißt formal: sie verlangen einen Aspektraum, in dem die \(\zeta\)-Aspekte bestimmt sind. Modellierungstiefe ist die vertikale Verwandte der Beobachtungsauflösung — Auflösung verfeinert die Überdeckung, Tiefe verfeinert den Aspektraum.
  • Drei Latenzformen des Trennungs-Versagens. »Fortschritt«: Aspekte artikuliert, aber unbeobachtbar (Zukunft). »Agilität«-Variante (5.5): Aspekte artikuliert, aber regional unsichtbar (\(\alpha_3\)). »Deckungsbeitrag« tief: Aspekte gar nicht artikuliert — die Unterbestimmtheit existiert erst, wenn die Situation das Modell verlangt. Die dritte Form ist die heimtückischste: sie ist nicht einmal im Prinzip vorab beobachtbar, weil der Aspektraum, in dem sie sichtbar würde, noch nicht existiert.
  • Die Reichhaltigkeit des Überlapps ist Unterhaltsleistung. Der Report bestimmt \(\delta_1,\delta_2\) nur, solange Richtlinie und Gewohnheit gelebt werden — von Personen, wie das Praxisurteil betont. Das ist Sebalds Geltung durch Wiederholung und die Free-Energy-Einsicht „Garbe-Sein muss unterhalten werden“ an einem konkreten Fall: die Bestimmungskraft des Zeichens ist keine Eigenschaft, sondern ein Prozess. Vormerk für die Dynamik-Frage (Soliton/Fixpunkt).
  • Grenzfall-Fazit. Die Definition liefert für den Deckungsbeitrag kein binäres Urteil über den Begriff, sondern eine Stabilitätskarte über den zwei Parametern: stabil im Inneren (operative Überdeckung, flache Tiefe — der Normalbetrieb), instabil an beiden Rändern (Token-Überlapp: Verklebung; vertiefter Aspektraum: Trennung). „Überwiegend stabil“ ist damit präzisiert: überwiegend misst den Anteil des Normalbetriebs am Parameterraum. Genau diese Relativierung sollte ein Grenzfall sichtbar machen.

8. Schritt 8 — Verträglichkeit von Träger-Kogarbe und Bedeutungs-Garbe

Beweisschritt (2026-06-10): die in 3.4 behauptete Passung der beiden Seiten wird präzisiert und gezeigt.

8.1 Die Behauptung, präzisiert

Beide Strukturen leben über demselben Situs, laufen aber entgegengesetzt: Die Träger-Kogarbe \(G\) ordnet jeder Region das Stück Netz darüber zu, kovariant (\(V\subseteq U\) gibt \(G(V)\to G(U)\), Einbettung); das globale Objekt — der Chunk \(K\) — entsteht durch Verkleben, als Kolimit (in der Tisch-Szene: Pushout von \(U_S\) und \(U_A\) entlang \(\{m\}\)). Die Bedeutungs-Garbe \(F\) ordnet jeder Region ihre Lesarten zu, kontravariant (Restriktion); die globale Bedeutung entsteht als Limes (Egalisator). Merkbild: das Material wird montiert (Pfeile hinein), die Bedeutung wird gelesen (Pfeile heraus).

Die Garbenprüfung von \(F\) benutzt Überdeckungen mit Überlappen. Diese stammen aus der Verklebungsgeschichte des Trägers: \(\{m\}\) ist genau das geteilte Teilnetz, entlang dessen der Pushout gebaut wurde. Verträglichkeit heißt daher: Die Pushout-Daten der Träger-Seite sind automatisch legitime Überdeckungs-Daten für die Garben-Seite, und das bleibt unter Einschränkung auf Teilregionen erhalten. Wäre das falsch, prüfte die Garbenbedingung über Überdeckungen, die mit dem Träger nichts zu tun haben — die Konstruktion fiele auseinander.

8.2 Satz und Beweis

Satz (Verträglichkeit). Sei \(C\) ein Topos (etwa \(\mathbf{Graph}/L\)), seien \(a\colon Z\hookrightarrow A\) und \(b\colon Z\hookrightarrow B\) Monos und \(K = A\sqcup_Z B\) der Pushout. Dann gilt:

  1. Die Injektionen \(i_A\colon A\to K\), \(i_B\colon B\to K\) sind Monos; das Pushout-Quadrat ist zugleich ein Pullback-Quadrat; in \(\operatorname{Sub}(K)\) gilt \(A\cap B = Z\) und \(A\cup B = K\).
  2. \(\{A\hookrightarrow K,\ B\hookrightarrow K\}\) ist folglich eine Überdeckung von \(K\) mit Überlapp \(Z\) — exakt die Situation der Garbenbedingung aus 3.1; der Egalisator \(F(K)\to F(A)\times F(B)\rightrightarrows F(Z)\) ist mit denselben Daten wohldefiniert, mit denen \(K\) gebaut wurde.
  3. (Basiswechsel) Für jede Region \(u\colon U\hookrightarrow K\) gilt \(U = (U\cap A)\sqcup_{(U\cap Z)}(U\cap B)\) — die Restriktion einer Verklebung ist die Verklebung der Restriktionen.

Beweis. Zu (1): Jeder Topos ist adhäsiv (Lack/Sobociński, Toposes are adhesive; in 2.3 bereits eingekauft). In adhäsiven Kategorien sind Monos stabil unter Pushout, also sind \(i_A, i_B\) Monos; ferner sind Pushouts entlang Monos zugleich Pullbacks, also \(A\cap B = Z\) in \(\operatorname{Sub}(K)\). Der Pushout-Kokegel ist gemeinsam epimorph; in einem Topos sind Vereinigungen effektiv (die Vereinigung zweier Teilobjekte ist der Pushout über ihrem Schnitt), zusammen folgt \(A\cup B = K\). Zu (2): unmittelbar aus (1) — die Egalisator-Form der Garbenbedingung (3.1) ist für die Überdeckung \(\{A,B\}\) mit Überlapp \(A\cap B = Z\) formuliert. Zu (3): In adhäsiven Kategorien sind Pushouts entlang Monos Van-Kampen-Quadrate, also stabil unter Pullback. Der Pullback des Quadrats entlang \(u\colon U\hookrightarrow K\) hat die Ecken \(U\cap Z\), \(U\cap A\), \(U\cap B\) und die Spitze \(U\); Van Kampen besagt, dass dieses Quadrat wieder ein Pushout ist. \(\blacksquare\)

Bemerkungen. (i) Iterierte Verklebungen (sequentielle und gefilterte Kolimiten aus 2.4) erben (1)–(3) per Induktion, da jede Stufe ein Pushout entlang Monos ist und die Eigenschaften unter Komposition stabil sind. (ii) In \(\mathbf{Graph}/L\) ist alles punktweise berechenbar (2.3) — daher ist der Satz instanzweise maschinell prüfbar.

8.3 Instanzverifikation

Programmatisch geprüft (2026-06-10), brute force über alle Teilregionen \(U\subseteq K\): (a) die Tisch-Szene (\(Z=\{m\}\), \(A=U_S\), \(B=U_A\); 13 Regionen), (b) eine Instanz mit nichttrivialem Überlapp — \(Z\) enthält eine Kante, \(B\) Parallelkanten (50 Regionen). In beiden Fällen: Injektionen mono, \(A\cap B = Z\), \(A\cup B = K\), und jede Region rekonstruiert sich als Pushout ihrer Restriktionen. Skript: Garbenpruefung - Vertraeglichkeit 2026-06-10.py.

8.4 Konsequenzen

  • Der Situs ist die Verklebungsgeschichte des Trägers. Die Überdeckungen, über denen \(F\) geprüft wird, müssen nicht zusätzlich postuliert werden — sie werden von der Kolimit-Konstruktion selbst erzeugt und sind nach dem Satz automatisch wohlgeformt. Das beantwortet die Sorge aus 3.4 konstruktiv.
  • Versagen wohnt nie im Träger. \(K\) existiert immer (Kovollständigkeit, 2.3), die Überdeckung ist immer legitim (Satz). Was scheitern kann, ist allein die Bedeutungs-Seite \(F\) — die Arbeitsteilung aus 3.3 („der Kolimit konstruiert, die Garbenbedingung zertifiziert“) ist damit technisch abgesichert, nicht nur behauptet.
  • Die Kalibrierungsfälle sind kohärent. Aussage (3) sichert nachträglich, dass die in den Abschnitten 4–7 benutzten Restriktionen auf Teilregionen (etwa auf \(\{m\}\)) mit der Trägerkonstruktion verträglich waren.
  • Nicht gezeigt ist die \(C\)-wertige Fassung („Garbe über der Träger-Kogarbe“ als ein Objekt, statt \(F\) Set-wertig daneben) und die Wahl der Topologie (kanonische vs. die von der Verklebungsgeschichte erzeugte). Beides bleibt im Wertebereich-Punkt von Abschnitt 9 offen.

9. Offene Punkte / Nächster Schritt

Stand. Kalibrierungsprogramm abgeschlossen (vier Fälle, vier korrekt unterschiedene Verdikte, Abschnitte 4–7); Verträglichkeit von Träger- und Bedeutungs-Seite bewiesen und instanzverifiziert (Abschnitt 8). Das Modell hat damit den Status: präzisierter Rahmen, kalibrierte Stabilitätsdefinition (Garbe und \(F(U)\neq\emptyset\)), abgesicherte Zwei-Seiten-Architektur.

Nächster Schritt (Kandidaten): (a) Der kleine Struktursatz über Versagensarten — Verklebung versagt am zu groben Überlapp, Trennung am nicht überdeckten bzw. nicht artikulierten Teil des Aspektraums; beides als Defekte der Überdeckung relativ zur Bedeutung, über beiden Parametern (Überdeckung × Modellierungstiefe). Gut vorbereitet durch 5–7. (b) Die gewichtete/angereicherte Variante (Bindungsstärken, Sebalds Kern-Peripherie-Struktur — Punkt 3 der Aufgabenliste). (c) Die dynamische Stabilität (Soliton/Fixpunkt unter Endofunktor — Punkt 4).

Weiter zu klärende Fragen:

  • Wertebereich: \(F\) vorerst Set-wertig (\(F(U)\) = Menge der Lesarten). Zu klären: C-wertige Variante und die präzise Fassung von „Garbe über der Träger-Kogarbe“.
  • Bindungsstärke und Akteur-Variation (2.6) weiter offen — vermutlich angereicherte/gewichtete Variante.
  • Anschlüsse danach: Lotmans produktives Residuum (der nicht-verklebbare Rest), Menéndez/Winschels Homologie als Maß der Verklebungs-Obstruktion, Volkers relationaler Zeitbegriff (KlElPm-Text).
  • Status der partiellen Bewertungen (5.2): Ad-hoc-Wertestruktur für \(F\) oder Spezialfall der C-wertigen Variante? Der Verfeinerungs-Poset legt eine ordnungstheoretische bzw. Heyting-Lesart nahe.
  • Auflösung als formaler Parameter: \(F^{\mathrm{grob}}\) und \(F^{\mathrm{fein}}\) unterscheiden sich nur am Überlapp. Gesucht ist die saubere Fassung als Vergröberungsmorphismus (Morphismus von Siten bzw. Prägarben-Epimorphismus), damit „Auflösungswechsel“ eine Operation der Theorie wird statt einer Modellierungsentscheidung von Hand.
  • Stabilität zweiter Stufe (6.4) ist bisher nur am Minimalfall gezeigt. Die allgemeine Fassung (\(F’\) als Prägarbe mit Werten in Erwartungen über \(F\), beide über demselben Situs; „Kredit wird bedient“ als Fortsetzbarkeit; Iterierbarkeit der Stufen und ihre Grenze — Koschorkes „die Zukunft kann nicht mehr als Deponie dienen“) steht aus.
  • Die Beobachtung „Trennung versagt auf dem nicht überdeckten Teil des Aspektraums“ (6.5) legt eine allgemeine Charakterisierung nahe: Versagensarten als Defekte der Überdeckung relativ zur Bedeutung. Kandidat für einen kleinen Struktursatz, bevor Homologie/Obstruktionstheorie angeschlossen wird. Mit 7.3 erweitert: der Satz müsste beide Parameter behandeln — Überdeckung und Aspektraum-Tiefe.
  • Modellierungstiefe formal (7.3): Vertiefung als Morphismus von Aspekträumen (Artikulation \(\delta_2 \mapsto \{\zeta_1,\zeta_2\}\)), Lesarten-Transport als Zurückziehen/Vorschieben partieller Bewertungen. Zu klären, ob Auflösung (Überdeckungs-Verfeinerung) und Tiefe (Aspektraum-Verfeinerung) zwei Erscheinungen eines Basiswechsels sind — das würde H&S‘ vertikale Achse und Franks Modellierungstiefe-Befund vereinheitlichen.

Verbindungen

  • Verwandte Topics: [[Recherche – Sheef-Theorie und Übersetzungen]], [[Zeitverständnis, Zeitregime und Vermittlungen]], [[Memo – PKRN und Koschorke, Zeit als Verklebung 2026-06-05]]
  • Verknüpfte Concepts: [[Komplexitätsreduktion in Neztwerken 03]]
  • Referenzen: Ehresmann/Vanbremeersch, Memory Evolutive Systems; Lack/Sobociński, Adhesive Categories und Toposes are adhesive; Menéndez/Winschel, Monetary Theory, Supply Chain Finance