Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My question is not dificult, but i'm confused with something.

The question: Prove that if $F: \mathbb{C} \rightarrow \mathbb{D}$ is a equivalence of categories and $Z \in \mathbb{C}$ is a zero object then $F(Z)$ is a zero object.

I used the fact that $F$ is a equivalence iff $F$ is full, faithful and essentially surjective.

Given any other object $Y \in \mathbb{D}$ there exist some object $X \in \mathbb{C}$ such that $F(X) \simeq Y$. By the hypotesis, i have two unique morphisms $f: X \rightarrow Z$ and $g:Z \rightarrow X$, this imply that i have unique morphisms $F(f): F(X) \rightarrow F(Z)$ and $F(g): F(Z) \rightarrow F(X)$. If i denote $\sigma$ the isomorfism $F(X) \simeq Y$, then every morphism that i take in for exemple $Hom_{\mathbb{D}}(Y,F(Z))$ is in the form $F(f) \circ \sigma $.

If a change the isomorphism $\sigma$ (in case it is posible) for another isomorphism, then the conclusion is the same but with the other isomorphism and the result dont follow imidietly, i'm missing something?

share|cite|improve this question
The conclusion is the same, regardless of which isomorphism you pick, namely, that $\hom_{\mathbb{D}}(Y,F(Z))=\{F(f)\circ \sigma\}$ and similarly for the map out of $F(Z)$. I don't see the problem: you would just say the same thing about a different isomorphism $\sigma'$. – Kevin Carlson Jun 19 '14 at 20:53
I'm dumb... ok $F(f)$ is constant in the isomorphisms..... is just the same guy whatever the isomorphism... – user158082 Jun 19 '14 at 20:57

You can also view this as a consequence of the following general facts (which are useful anyway):

  • Left adjoint functors preserve colimits
  • Dually: Right adjoint functors preserve limits
  • Equivalences are left adjoint and right adjoint.

It follows that every equivalence preserves initial objects and terminal objects, hence also zero objects.

share|cite|improve this answer

The following proposition is quite useful.

Proposition. Let $\mathscr C\xrightarrow{F}\mathscr D$ be a functor. Then $F$ is an equivalence if and only if $F$ both of the following hold.

  1. For every $X,Y\in\DeclareMathOperator{Ob}{Ob}\Ob(\mathscr C)$ the map $\DeclareMathOperator{Hom}{Hom}\Hom_{\mathscr C}(X,Y)\xrightarrow{\Phi}\Hom_{\mathscr D}(F(X),F(Y))$ given by $\Phi(f)=F(f)$ is a bijection.

  2. For every $D\in\Ob{\mathscr D}$ there exists a $C\in\Ob(\mathscr C)$ such that $F(C)\simeq D$.

Now, suppose $\mathscr C\xrightarrow{F}\mathscr D$ is an equivalence and that $Z\in\Ob(\mathscr C)$ is a zero-object of $\mathscr C$. Let $D\in\Ob(\mathscr D)$ so property 2 of the proposition ensures an isomorphism $F(C)\xrightarrow{\phi}D$.

Property 1 of the proposition ensures a bijection $\Hom_{\mathscr C}(Z,C)\to\Hom_{\mathscr D}(F(Z),F(C))$. Moreover, the map $\Hom_{\mathscr D}(F(Z),F(C))\to\Hom_{\mathscr D}(F(Z),D)$ given by $f\mapsto \phi\circ f$ is a bijection (prove this!). This gives a bijection $\Hom_{\mathscr C}(Z,C)\to\Hom_{\mathscr D}(F(Z),D)$ so there exists exactly one $\mathscr D$-morphism $F(Z)\to D$.

A similar argument shows that there exists exactly one $\mathscr D$-morphism $D\to F(Z)$. Hence $F(Z)$ is a zero-object of $\mathscr D$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.