scientific article; zbMATH DE number 1258249

Publication date 3 March 1999

quasicategories universal concrete categories universal morphisms universal objects

Embedding theorems, universal categories (18B15)

Inhalt der Arbeit ist eine kategorielle Darstellung der Theorie universeller Objekte und Morphismen. Dabei liegt der Schwerpunkt in der Untersuchung universeller Kategorien und Funktoren. Ein universelles Objekt ist ein Objekt, in das sich jedes Objekt initial einbetten läßt. In eine universelle Kategorie läßt sich jede Kategorie voll einbetten. Eine abstrakte Theorie über universelle Objekte wurde im Falle relationaler Strukturen 1956 durch \textit{B. Jónsson} [Math. Scand. 4, 193-208 (1956; Zbl 0077.25302)] eingeleitet. Das Konzept Jónssons, das in Abschnitt 1.4. erläutert wird, erweist sich als effizient, sofern man in einem vorgegebenen Konstrukt ein, bezüglich einer Kardinalzahl \(\kappa\) beschränktes, universelles Objekt aufzufinden versucht, da er nur verhältnismäßig schwache mengentheoretische Voraussetzungen für seine Konstruktion benötigt. In der vorliegenden Arbeit werden jedoch vorwiegend universelle strukturierte Klassen untersucht, wie etwa universelle Kategorien und Funktoren. In diesem Fall erwiesen sich die Voraussetzungen für Jónssons Konstruktionen als zu streng, wie in Satz 3.2.2 am Beispiel homogener universeller Kategorien deutlich wird. In Theorem 1.1.26 werden homogene universelle Objektive in, als ``streng fließend bezeichneten, Quasikonstrukten konstruiert. Dabei heißt ein Objekt homogen, wenn es in gewisser Weise unverknotet vorliegt. Das heißt, wenn sich jeder Isomorphismus zwischen kleineren Unterobjekten zu einem Automorphismus des Objekts fortsetzen läßt. Solche homogenen universellen Objekte sind in der Regel modulo Isomorphie eindeutig bestimmt, wie schon in \textit{B. Jónsson}s Theorie festgestellt wurde. Neu an Theorem 1.1.26 ist, daß in sogenannten fließenden Quasikonstrukten Bedingungen angegeben werden, die zur Existenz eines homogenen universellen Objekts äquivalent sind. Im Bereich universeller Kategorien werden eine Reihe von weiterführenden Resultaten vorgestellt. Als eine Anwendung des Theorems 1.1.26 wird in Theorem 2.1.5 über jeder Basiskategorie \({\mathcal X}\) die Existenz einer homogenen konkret universellen Kategorie \(({\mathfrak W}_{\mathcal X},U)\) nachgewiesen. Das ist eine konkrete Kategorie über \({\mathcal X}\) in die sich jede konkrete Kategorie über \({\mathcal X}\) voll konkret einbetten läßt. Speziell existiert demnach ein homogenes konkret universelles Konstrukt \(({\mathfrak W},U)\). Analog wird die Existenz einer homogenen universellen Kategorie \({\mathfrak C}\) gezeigt. Bislang waren konkret universelle Kategorien lediglich über den Basiskategorien \({\mathcal X}={\mathcal S}et\), durch \textit{L. Kučera} [Algebra Univ. 5, 149-151 (1975; Zbl 0337.18003)], und über der terminalen Basiskategorie \textbf{1} etwa durch \textit{Z. Hedrlín,} angegeben worden. Als Verallgemeinerung von Kučeras Resultat liefert Theorem 3.1.4 über jeder konkretisierbaren Basiskategorie eine explizite Darstellung einer konkret universellen Kategorie \(S(\wp \circ Q_2 \circ G,( {\mathfrak U}, \subseteq^*))\).

Cited in

(11)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229100)