Nachtrag zum Pi-Tag: Der Fehler von Archimedes

Limes-Skizzen und ihre Modell-Kategorien

Üblicherweise studiert man universelle Eigenschaften von Objekten innerhalb einer festen Kategorie. Weil aber unter geeigneten Größenannahmen auch Kategorien eine Kategorie bilden (genauer gesagt, eine $2$-Kategorie), kann man auch universelle Eigenschaften von Kategorien selbst untersuchen. Wir beschäftigen uns hier ausschließlich mit kovollständigen Kategorien. Konkret fragen wir uns also, wie sich die kostetigen Funktoren von typischen Kategorien wie zum Beispiel $\mathbf{Mon}$ oder $\mathbf{Pos}$ in eine beliebige kovollständige Kategorie $\mathcal{C}$ klassifizieren lassen. Viele Kategorien aus der Praxis lassen sich als die Kategorie $\mathbf{Mod}(\mathscr{S})$ der Modelle einer Limes-Skizze $\mathscr{S}$ darstellen. Wir werden diese Konzepte in diesem Artikel vorstellen und damit unser Hauptresultat, die universelle Eigenschaft $\mathrm{Hom}_c(\mathbf{Mod}(\mathscr{S}),\mathcal{C}) \simeq \mathbf{Mod}_{\mathcal{C}}(\mathscr{S}^{\mathrm{op}})$ beweisen. Sie besagt im Wesentlichen, dass $\mathbf{Mod}(\mathscr{S})$ das universelle Beispiel einer kovollständigen Kategorie mit einem Modell von $\mathscr{S}^{\mathrm{op}}$ ist. Dann schauen wir uns einige Beispiele wie etwa $\mathrm{Hom}_c(\mathbf{Mon},\mathcal{C}) \simeq \mathbf{CoMon}(\mathcal{C})$ genauer an.