Monoidale Kategorie

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Monoidale Struktur)
Zur Navigation springen Zur Suche springen

In der Mathematik bezeichnet eine monoidale Kategorie eine Kategorie , die mit einem zweistelligen Funktor und einem Einheitsobjekt ausgestattet ist.

Die Verknüpfung muss assoziativ in dem Sinne sein, dass es eine natürliche Äquivalenz ,

gibt; muss links- und rechtsneutral in dem Sinne sein, dass es natürliche Äquivalenzen und gibt, gegeben durch

und .

Diese natürlichen Transformationen sollen kohärent sein. Alle nötigen Kohärenzbedingungen folgen aus der Kommutativität der folgenden beiden Diagramme:

und

Aus diesen beiden Bedingungen folgt, dass jedes solche Diagramm kommutiert: Das ist Mac Lanes "Kohärenzsatz".

  • Eine monoidale Kategorie kann als Bikategorie mit einem Objekt angesehen werden.
  • In einer monoidalen Kategorie lässt sich der Begriff des Monoid-Objekts definieren, der den des Monoids verallgemeinert.

Jede Kategorie, die endliche Produkte und ein Endobjekt enthält, kann als symmetrisch monoidale Kategorie betrachtet werden: Der zweistellige Funktor wird durch eine natürliche Auswahl von Produkten definiert und das Endobjekt ist das Einheitsobjekt. Analog können wir als zweistelligen Funktor ein Koprodukt und als Einheitsobjekt ein Anfangsobjekt wählen.

Wir zeigen nun parallel die Struktur zweier solcher monoidaler Kategorien:

-Mod Set
Für einen kommutativen Ring ist die Kategorie -Mod der -Moduln eine symmetrische monoidale Kategorie mit Produkt (dem Tensorprodukt) und Einheit . Die Kategorie Set ist symmetrisch monoidal mit Produkt und Einheit .
Eine unitäre assoziative Algebra ist ein Objekt von -Mod zusammen mit Pfeilen und , für die folgende Diagramme kommutieren: Ein Monoid ist ein Objekt M zusammen mit Pfeilen und

, für die folgende Diagramme kommutieren:

Assoziativität Assoziativität
und und
Bedingung an die Einheit Bedingung an die Einheit
Eine Koalgebra ist ein Objekt C mit Pfeilen und , für die folgende Diagramme kommutieren: Zu jedem Objekt S in der Kategorie Set gibt es zwei eindeutig bestimmte Pfeile und , für die folgende Diagramme kommutieren:
Ko-Assoziativität Ko-Assoziativität
und und
Bedingung an die Ko-Einheit Bedingung an die Ko-Einheit
Insbesondere ist eindeutig, weil Endobjekt ist.
  • Joyal, André; Street, Ross (1993). "Braided Tensor Categories". Advances in Mathematics 102, 20–78.
  • Mac Lane, Saunders (1997), Categories for the Working Mathematician (2nd ed.). New York: Springer-Verlag.