Drinfeld-Zentrum

Für eine monoide Kategorie C ist das Drinfeld-Zentrum Z(C) (auch kategorisches Zentrum genannt) die Kategorie, deren Objekte Paare (Z, γ_{Z,-}) sind mit Z ∈ C und γ_{Z,X}: Z ⊗ X ≅ X ⊗ Z einer natürlichen Familie von Isomorphismen (Halb-Verschnürung), die Kohärenzbedingungen (Hexagon) erfüllen; Z(C) ist eine tressierte Kategorie mit universeller Eigenschaft unter tressierten Kategorien, die einen m