3
$\begingroup$
  • $\newcommand{\mc}{\mathcal}$I heard that $\mc C \equiv \mc D$ (an equivalence of categories) holds iff $\mc C$ is a fully faithful essentially surjective subcategory of $\mc D$, but subcategory seems too strict since categories could be equivalent without the objects of one being a subset of the other. Where am I going wrong?

Let $\mc C$,$\mc D$ be categories then they are equivalent if we have functors $F: \mc C \to \mc D$, $G: \mc C \to \mc D$ and natural isomorphisms $\alpha : 1_{\mc C} \to GF$, $\beta : 1_{\mc C} \to GF$.

  • A category $\mc C'$ is a subcategory of $\mc C$ if its objects are a subclass of the objects of $\mc C$ and its morphisms are a subclass of the morphisms of $\mc C$.

  • A functor $F : \mc C \to \mc D$ is full if the map between Hom-sets $\mc C(A,B) \to \mc D(FA,FB)$ is surjective.

  • A functor $F : \mc C \to \mc D$ is faithful if the map between Hom-sets $\mc C(A,B) \to \mc D(FA,FB)$ is injective.

  • A functor $F : \mc C \to \mc D$ is essentially surjective if $\forall B \in \mc D,\,\exists A \in \mc C,\,FA \simeq B$.


$\endgroup$
  • $\begingroup$ I am a little confused by your question: an equivalence of categories is a functor; what do you mean when you say it's the same thing as a certain category? $\endgroup$ – user314 Dec 3 '12 at 19:50
  • $\begingroup$ @Adeel, they imply each other so if I have one I can make the other out of it and vice versa. updated. $\endgroup$ – user51427 Dec 3 '12 at 19:54
  • 1
    $\begingroup$ "I heard that...", Objection your Honor, that's hearsay! :-) Welcome to math stackexchange sunflower. Please look at my answer below. $\endgroup$ – magma Dec 4 '12 at 10:51
  • 2
    $\begingroup$ $\alpha$ and $\beta$ are natural isomorphisms, not just transformations. I edited accordingly $\endgroup$ – magma Dec 4 '12 at 16:30
  • $\begingroup$ You write both the functors and the nats have the same domains and codomains. $\endgroup$ – Nikolaj-K Nov 2 '14 at 13:34
1
$\begingroup$

The correct statement is reported in

http://en.wikipedia.org/wiki/Equivalence_of_categories ("Equivalent characterizations" section)

In the "Joy of Cats" book

you can find, starting at page 36 a discussion/proof of these matters.

A functor which is "essentially surjective" is also called "dense" or "isomorphic dense"

Please see also

http://en.wikipedia.org/wiki/Essentially_surjective_functor

$\endgroup$
  • $\begingroup$ So according the real theorem would be "$\mc C \equiv \mc D$ (an equivalence of categories) holds iff there is a fully faithful essentially surjective functor $\mc C \to \mc D$"? in that case $\mc C$ is a subcategory of $\mc D$ in essence but not in terms of the definition.. $\endgroup$ – user51427 Dec 4 '12 at 13:53
  • $\begingroup$ exactly sunflower, it is unnecessary that C is a subcategory, but obviously you can embed it into D, so you effectively have a subcategory C' $\endgroup$ – magma Dec 4 '12 at 14:47
  • $\begingroup$ @magma: can you make more precise this last affirmation? According to my definition, an embedding is a fully faitfhul functor injective on objects. In this case, your statement is false: $\mathbf{Vect}_K$ is equivalent to $\mathbb N$, but you cannot embed it as a subcategory. The best you can do is explained in my answer below, I suppose... $\endgroup$ – Mauro Porta Dec 4 '12 at 15:10
  • $\begingroup$ Good catch @MauroPorta! However, in your same link you can see that there is another - weaker- definition of embedding (just full and faithful functor). I am correct according to this one. In any case my use of embedding was purely figurative. With "you can embed it into", I meant "you can put it into". Could you please explain what you mean by "N" and describe the equivalence in your comment above? $\endgroup$ – magma Dec 4 '12 at 16:03
  • $\begingroup$ Sorry for the non-standard notation. I was meaning $\mathbf{FinVect}_K$ (finite dimensional vector spaces and linear maps) and $\mathbb N$ is the (skeleton of the) category of finite sets with functions. The assignment $\mathbb N \to \mathbf{FinVect}_K$ sends $n$ to $K^n$ and the actions on maps is the obvious one. It is fully faithful because the forgetful functor $\mathbf{FinVect}_K \to \mathbf{Set}$ as a left adjoint, it is essentially surjective because every vector space has a basis. Observe that you can do the same for vector spaces of dimension $\le \alpha$, for any ordinal $\alpha$. $\endgroup$ – Mauro Porta Dec 4 '12 at 17:01
3
$\begingroup$

There are different characterizations of equivalences between categories. One of them is: the skeleta of the two categories are isomorphic categories. In this sense $\mathcal C$ and $\mathcal D$ are equivalent if and only if there is a third category $\mathcal A$ together with two functors $F \colon \mathcal A \to \mathcal C$ and $G \colon \mathcal A \to \mathcal D$ which identify $\mathcal A$ with fully faithful subcategories of $\mathcal C$ and $\mathcal D$ respectively.

Does this answer your question? If you want I can provide a proof of my statement about skeleta.

$\endgroup$
  • $\begingroup$ Welcome to math stackexchange Mauro. I do not think your post answers the question posed. It is just another (logically-equivalent) definition of categorical-equivalence $\endgroup$ – magma Dec 4 '12 at 10:40
  • $\begingroup$ You are right, indeed. It's just the only reformulation I know which contains the word "fully faithful subcategory" inside. $\endgroup$ – Mauro Porta Dec 4 '12 at 15:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy