No label defined (Q3986952)

Jede Kategorie bestimmt einen Graphen mit denselben Objekten und Pfeilen, wobei man vergißt, welche Pfeile Komposita und welche Identitäten sind. Jeder gerichtete Graph bestimmt eine Kategorie mit den Ecken als Objekten und allen möglichen Wegen zwischen diesen als Pfeilen [vgl. \textit{S. Mac Lane}, Categories for the working mathematician (1971; Zbl 0232.18001)]. Der Verf. führt nun ``multiplikative Graphen'' ein, gerichtete Graphen, in denen nur das Hintereinanderschalten gewisser Pfeile als Komposition zugelassen wird. Das Assoziativgesetz muß bei einer solchen Komposition natürlich nicht mehr gelten. Ist es erfüllt (und existieren Identitäten), so spricht er von ``Präkategorien''. Der Verf. zeigt nun, daß diese Begriffsausweitungen geeignet sind, um über die Darstellung von ``Strukturen'' zu reden. Als erstes wird die von einem multiplikativen Graphen erzeugte ``freie Kategorie'' definiert, die aus der oben angegebenen freien Kategorie gebildet wird, indem man nach der durch die ``Multiplikation'' entstehenden Korrespondenzrelation faktorisiert. Man kommt dann zu einer Beschreibung von Kategorien durch Erzeugende und Relationen [vgl. auch \textit{S. Mac Lane}, a. a. O.] und kann die Begriffe der französischen Diagrammes-Schule, wie Skizzen (esquisses), \(\mathbf D\)-Algebren etc., neu angeben. Der Bericht ist denn auch Claude Levi-Strauss, Charles Ehresmann und den Opfern des Eisenbahnunglücks im Bahnhof von Lyon (27. Juni 1988) gewidmet. An diesem Tag trug der Autor ihn auf der Tagung der E.L.I.T. vor.