In der Mathematik ist eine symmetrische monoidale Kategorie eine monoidale Kategorie (d. h. eine Kategorie, in der ein "Tensorprodukt" definiert ist), deren Tensorprodukt symmetrisch ist (d. h. man hat einen natürlichen Isomorphismus zwischen und für alle Objekte und ).
Ein typisches Beispiele ist die Kategorie der Vektorräume über einem gegebenen Körper.
Definition Bearbeiten
Es sei eine monoidale Kategorie mit Assoziativitätsisomorphismus sowie linken und rechten Einheitsisomorphismen bzw. . Die monoidale Kategorie heißt symmetrisch, wenn es zu je zwei Objekten aus einen Isomorphismus
gibt, der natürlich in und ist, so dass die folgenden Diagramme kommutieren:
Beispiele symmetrischer monoidaler Kategorien Bearbeiten
- Die Kategorie der Mengen mit dem Mengenprodukt als Tensorprodukt und einer einelementigen Menge als Einheitsobjekt.
- Die Kategorie der topologischen Räume mit dem direkten Produkt als Tensorprodukt und einem einelementigen Raum als Einheitsobjekt.
- Die Kategorie der Gruppen mit dem direkten Produkt als Tensorprodukt und der trivialen Gruppe als Einheitsobjekt.
- Die Kategorie der Ringe mit dem direkten Produkt als Tensorprodukt und dem Nullring als Einheitsobjekt.
- Die Kategorie der Vektorräume über einem gegebenen Körper mit der direkten Summe als Tensorprodukt und dem Nullvektorraum als Einheitsobjekt.
- Die Kategorie der Vektorräume über einem gegebenen Körper mit dem Tensorprodukt von Vektorräumen als Tensorprodukt und dem eindimensionalen Raum als Einheitsobjekt.
- Für eine gegebene Gruppe die Kategorie der Darstellungen von über einem gegebenen Körper mit dem Tensorprodukt von Darstellungen als Tensorprodukt und der trivialen Darstellung als Einheitsobjekt.
Weblinks Bearbeiten
- symmetric monoidal category (nLab)