Die duale Konstruktion zur Induktion, die Objekte über einem größeren Kontext mittels einer universellen Eigenschaft vom Limiten- oder Hom-Typ erzeugt, typischerweise realisiert als Hom_R(S, −) oder als Rechtsadjungierter zur Restriktion und liefert das ‚allgemeinste‘ mit den kleineren Kontextdaten kompatible Objekt auf limitartige Weise.

Prinzip

Koinduktion ist als Rechtsadjungierter zur Restriktion organisiert und erhält daher Limiten; sie tritt oft als Hom-Funktor auf (z. B. Hom_R(S, −) oder Hom_{k[H]}(k[G], −) in der Darstellungstheorie). Ihr Verhalten steht im Kontrast zur Induktion hinsichtlich Größe, Exaktheit und Stetigkeitseigenschaften und kann Vollständigkeits- oder Endlichkeitsannahmen erfordern, um gut zu funktionieren.

Demonstration

Für eine Untergruppe H ⊂ G und ein H-Modul V ist das koinduzierte Modul Coind_H^G V = Hom_{k[H]}(k[G], V) ein G-Modul, dessen H-Restriktion sich durch Evaluation auf V bezieht; für Ringmorphismen R → S kann Koinduktion durch Hom_R(S, M) gegeben werden und liefert in geeigneten Kontexten ein S-Modul.

Fehlanwendung

Koinduktion als mit Induktion austauschbar zu behandeln oder anzunehmen, sie liefere dasselbe konkrete Objekt ohne Prüfung von Endlichkeitsbedingungen, führt zu Irrtümern: koinduzierte Objekte können kategorisch viel größer oder anders geartet sein, und topologische bzw. Stetigkeitsbedingungen können in unendlichen Situationen übersehen werden.

Konsequenz

Koinduktion liefert kanonische rechtsadjungierte Konstruktionen, die unverzichtbar sind, um Korerepräsentationen zu bilden, injektive Objekte zu konstruieren und limitbasierte Argumente zu führen; sie garantiert die Erhaltung von Limiten und ist zentral für Dualitäts- und Adjunktionsdiskussionen in der homologischen Algebra und Darstellungstheorie.

Umkehrung

Das duale und oft kontrastierende Verfahren ist die Induktion (linksadjungiert) und, einfacher, die Skalareinschränkung; während Induktion frei von unten erzeugt, produziert Koinduktion das größtmögliche kompatible Objekt von oben und verhält sich dual bezüglich Exaktheit und Bewahrung von Kolimiten/Limiten.

Abgrenzung

Gilt, wenn ein Restriktionsfunktor existiert und Hom-Objekte darstellbar sind; Probleme treten bei nicht endlichen, nicht properen oder topologisch angereicherten Kategorien auf, wo Hom durch stetiges Hom oder abgeleitetes Hom ersetzt werden muss; Koinduktion erhält nicht notwendigerweise Kolimiten und kann Vollständigkeitsannahmen benötigen.

Semantische Spannung

Die wesentliche Spannung besteht zwischen Koinduktion und Induktion: beide verschieben Objekte zwischen Kontexten mittels Adjunkten, unterscheiden sich jedoch darin, ob sie Limiten oder Kolimiten erhalten, in ihrer Größe und Exaktheit sowie in den Bedingungen, unter denen sie übereinstimmen (z. B. endlicher Index, Frobenius-Reziprozität).

Synthese

Koinduktion ist die rechtsadjungierte, auf Hom beruhende Konstruktion, die Objekte durch eine limitartige universelle Eigenschaft in einen größeren Kontext erweitert; sie ergänzt die Induktion durch Erhaltung von Limiten und Korepräsentation kompatibler Strukturen und verlangt Aufmerksamkeit gegenüber Darstellbarkeit, Endlichkeit und topologischen Bedingungen.