The Drinfeld center 
of a monoidal category 
is the category of objects 
equipped with compatible natural
isomorphisms 
for every object 
.
Compatibility requires
 |
with associativity maps suppressed and 
denoting the identity morphism
of 
.
Its morphisms are those of 
commuting with every 
(Etingof et al. 2015, p. 162). This construction
gives a braided monoidal category, even
when 
itself has no chosen braiding.
