Equivalence of Categories does not preserve enrichment I am learning some category theory currently, and was thinking about the following problem: Suppose $F: C \to D$ is a functor that induces an equivalence of categories and that $C,D$ are enriched over some category $M$. Then does $F$ preserve the enriched structure, that is is $Hom(c,c') \simeq Hom(F(c),F(c'))$, where the isomorphism is in the category $M$. We only know that this isomorphism is an isomorphism of sets, and my intuition tells me that we should not get a natural isomorphism in $M$. However, I tried finding some counter examples with categories enriched over familiar things like topological spaces, and abelian groups, but could not find a counter example. Any ideas?
 A: No, certainly not.  For instance, let $R$ and $S$ be rings and $f:R\to S$ be a bijection which preserves multiplication but not addition (for an explicit example of such a bijection, consider $R=S=\mathbb{Z}$ and $f:\mathbb{Z}\to\mathbb{Z}$ which swaps the factors of $2$ and $3$ in the prime factorization of each integer).  We can consider $R$ as a one-object category enriched in abelian groups, with the morphisms being elements of $R$, addition of morphisms being addition in $R$, and composition of morphisms being multiplication in $R$.  We can similarly consider $S$ as a one-object category enriched in abelian groups.  Then $f$ can be considered as an isomorphism between these two categories (since it preserves multiplication), but it does not preserve the enrichment (since it does not preserve addition).
An important case where equivalences of categories do automatically preserve the enrichment is additive categories.  Any functor between additive categories which preserves finite products or coproducts (in particular, any equivalence) automatically preserves the enrichment in abelian groups.  This is because and addition of morphisms in an additive category can be constructed using direct sums: the sum of $f,g:A\to B$ is the composition of $(f,g):A\to B\oplus B$ with the fold map $B\oplus B\to B$.
A: Eric Wofsey has already given a great answer (+1) giving an example of two equivalent categories enriched over abelian groups where the abelian groups fail to be preserved and also added a good point about the preservation of enrichment in additive categories.
However, I'd like to add an additional point.
Enriched categories are not (necessarily) ordinary categories. In fact, I'd like to just say that they are not ordinary categories. If the enriching category, $V$, is concrete, as is the case with $\mathbf{Top}$ or $\mathbf{Ab}$ enriched categories then your enriched category can be thought of as having a natural ordinary category structure as well. However, identifying the ordinary category with the enriched category would be a slight abuse of notation, since the hom objects in the enriched category are objects of $V$ and the hom objects of the associated ordinary category are objects of $\mathbf{Set}$. That's generally ok, since we usually speak of abelian groups and topological spaces as being sets.
However, this distinction between $V$-enriched categories and their associated ordinary categories (when $V$ is concrete) is very relevant here, because one should be careful about what we mean by an equivalence of categories.
If $C$ and $D$ are $V$-enriched categories, then an equivalence of those categories should be a pair of $V$-functors $F:C\to D$ and $G:D\to C$ with $F\circ G \simeq 1_D$ and $G\circ F \simeq 1_C$ (the natural isomorphisms here should also be $V$-natural isomorphisms). With this notion of equivalence, an equivalence between $C$ and $D$ would naturally preserve the enrichment, and this is the correct notion of an equivalence between $C$ and $D$.
As Eric Wofsey has shown with his example, not only is there no reason to think that an equivalence between the associated ordinary categories would induce an equivalence between the original $V$-enriched categories, it is not true. The main point of my answer is that there aren't even necessarily ordinary categories associated to enriched categories, since your hom objects don't necessarily even lie in a concrete category (Yes I know we can always take the generalized elements of the unit to get an ordinary category from an enriched category, but that's beside the point here).
