I am interested in knowing if the category $^H_H\mathcal{YD}$ of left-left Yetter-Drinfeld modules over an infinite dimensional Hopf algebra $H$ is an abelian category or not.
The answer is affirmative if $H$ is finite-dimensional, because in such a case $^H_H\mathcal{YD}$ would be equivalent to the category of modules over the Drinfeld double of $H$.
Surprisingly, I didn't found an answer googling the question for the infinite-dimensional case, whence I considered asking it here.
Question 1: Is the category $^H_H\mathcal{YD}$ of Yetter-Drinfeld modules over an infinite dimensional Hopf algebra $H$ is an abelian category?
Question 2: (which extends Question 1, in fact) Is the Drinfeld center of an abelian monoidal category still abelian, in general?
My feeling is that both answers should be positive and that they should be well-known. If anybody is aware of it, would he be so kindly to add also a reference to the literature, please?
Many thanks.
question 1: yes. Kernel and cokernel of a morphism is the same as kernel and cokernel of it as linear map, becaause a Kernel of a module map is a submodule and a kernel of a comodule map is subcomodule, idem cokernel. Also a module and comodule map that is an isomorphism as linear map, is an isomorphism as module and comodule map.
question 2: Yes, the center of a category is formed by pairs $(X, \Phi)$ where $X$ is an object and $\Phi$ a natural transformation between $X\otimes (-) $ and $(-)\otimes X$. For a map between pairs $(X,\Phi)\to (Y,\Psi)$, take the object kernel of the map $X\to Y$, and check that the natural isomorphism between $X\otimes (-) $ and $(-)\otimes X$ induce one between $Ker(X\to Y)\otimes (-) $ and $(-)\otimes Ker(X\to Y)$.