scientific article; zbMATH DE number 30669

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.

Recommendations

Cited in

(5)

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 Q3986952)