Faktorisierungssysteme in der Kategorie der partiellen Algebren, Kennzeichnung von (Homo)-Morphismenklassen

Im Hinblick auf die Entwicklung einer Theorie der formalen Semantik von Programmiersprachen im Rahmen der Theorie der partiellen Algebren hat sich eine Gruppe um H. Andrèka und I. Nèmeti zum Ziel gesetzt, die Universelle Algebra mit Hilfe der Kategorientheorie zur Partiellen Algebra zu erweitern. Als Teil dieses Projekts verfolgt die vorliegende Arbeit drei Ziele: 1. Wichtige Homomorphismen partieller Algebren sollen in die Begriffswelt der Kategorientheorie eingeordnet werden. 2. Kann ein Homomorphismus (zum Beispiel der surjektive) nicht eingeordnet werden, so soll für ihn ein neuer Begriff definiert werden. 3. Wesentliche Faktorisierungseigenschaften der Kategorie der partiellen Algebren sollen festgehalten werden. Die Arbeit versucht, diese Ziele anhand eleganter Methoden, mit vielen Beispielen und Gegenbeispielen zu erreichen.