The center of a category $C$ is defined to be $\text{Z}(C) := \text{End}(1\_C)$; here $1\_C$ is the identity functor $C \to C$. See [this](https://mathoverflow.net/questions/41789/what-is-the-center-of-qcohx) question for an important application of the center. Now [this](http://ncatlab.org/nlab/show/center+of+an+abelian+category) n-lab entry states that $\text{Z}$ is functorial with respect to equivalences. But I think that we have to be careful here:


If $F: C \to D$ is an equivalence of categories, then we have to *choose* an inverse equivalence $G : D \to C$ and an isomorphism $e : 1\_D \cong FG$ in order to define $\text{Z}(F) : \text{Z}(C) \to \text{Z}(D)$, namely by $s \mapsto e^{-1}(FsG) e$.


Thus in order to get a functor, we have to take the following category: Objects are categories, and a morphism $C \to D$ is a triple $(F,G,e)$, consisting of functors $F : C \to D, G : D \to C$ and an isomorphism $e : 1\_D \cong FG$. It is clear how to define the composition and the identity. Then $\text{Z}$ is a functor on this category to the category of commutative monoids.


a) Is this correct so far? Has this already written down somewhere in the literature?


I'm wondering myself why this is not remarked in the context of the Reconstruction Theorem of Rosenberg, since there we have to use $C \cong D \Rightarrow \text{Z}(C) \cong \text{Z}(D)$ in order to reconstruct the structure sheaf.


b) Are my remarks superfluous since category theorists usually regard an equivalence not as a mere functor, but rather as an adjunction, whose functors are equivalences? Namely, this data includes the data required to define the functor $\text{Z}$ above.


By the way, the decategorified version of this is the center of a monoid (especially of a group). If $f : M \to N$ is a monoid isomorphism, then $f^{-1}$ is unique and $f f^{-1}$ is *equal* to $1\_N$, thus we don't have to make any choices.



Functoriality of the center of a category
You can make $Z(F)(s)$ one object at a time by just choosing, for each object $d$, an object $c$ and an iso $e:F(c)\to d$, and conjugating $s$ by $e$. This is independent of choices.


