---

id: 202605231510 title: type: topic tags: [PKRN, Kategorientheorie, Kolimit, Garbentheorie, Topos] related: [] created: 2026-05-23 modified: 2026-05-23 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, und (4) ein erster Kalibrierungsfall (der stabile Begriff »Tisch«).

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 3 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. (laufend — stabiler Fall »Tisch« abgeschlossen, Abschnitt 4; offene Punkte und Wiedereinstieg in Abschnitt 5)

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.
• 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. Offene Punkte / Nächster Schritt

Stand. Der stabile Kalibrierungsfall (»Tisch«, Abschnitt 4) ist abgeschlossen: die Definition liefert das erwartete Verdikt „Garbe“.

Nächster Schritt (geplant): ein instabiler bzw. Grenzfall. Eine nur an einem bestätigenden Fall geprüfte Definition ist erst halb geprüft. Als Nächstes ein Begriff, bei dem wir „instabil“ erwarten — „Agilität“ (erwartet instabil) oder der Deckungsbeitrag (Grenzfall). Zu prüfen: liefert dieselbe Maschinerie dort korrekt „keine Garbe“, und welche Versagensart (Trennung/Verklebung) tritt auf.

Weiter zu klärende Fragen:

• Technische Verträglichkeit: Kommutiert das Pushout-Verkleben (Schritt 2) dank Universalität der Kolimiten (2.3) mit der Restriktion? Das ist die Prüfung, ob Träger-Kogarbe und Bedeutungs-Garbe zusammenpassen.
• 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).

Verbindungen

• Verwandte Topics: [[Recherche – Sheef-Theorie und Übersetzungen]], [[Zeitverständnis, Zeitregime und Vermittlungen]]
• 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