Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $C,D$ be categories, where $C$ is small. If we have morphism $\eta$ (i.e. natural transformation) in the category of functors $D^C$, then clearly $\eta$ is a monomorphism if all components $\eta_x$, $x \in C$ are monomorphisms. The converse is true if $D$ has pullbacks:

It is well-known that $D^C$ also has pullbacks, computed pointwise. Let $\eta : F \to G$ and consider the diagonal $\Delta : F \to F \times_G F$. Then: $\eta$ is a monomorphism iff $\Delta$ is an isomorphism iff all $\Delta_x : F(x) \to F(x) \times_{G(x)} F(x)$, $x \in C$ are isomorphisms iff all $\eta_x : F(x) \to G(x)$ are monomorphisms.

Question. Can you give an example where the converse fails, i.e. a monomorphism in the category of functors which is not pointwise a monomorphism?

This is a related question.

share|improve this question
1  
Related MO questions: 1, 2. –  Zhen Lin Dec 25 '11 at 12:05
add comment

1 Answer

up vote 6 down vote accepted

Take $C = \underline{2} = 0\to1$ and let $D$ be the category generated by the following graph $$ \matrix{ & & \bullet & \mathop{\longrightarrow}\limits^a & \bullet \cr & & \scriptsize{f} \Big\downarrow {\ \ } & & {\ \ } \Big\downarrow \scriptsize{g} \cr \bullet & \mathop{\rightrightarrows}\limits^u_v & \bullet & \mathop{\longrightarrow}\limits_b & \bullet \cr } $$ with the relations $b\circ f = g\circ a$ and $b\circ u = b\circ v$.

Then $D^C$ is just the category of arrows on $D$. The map $(a,b): f\rightarrow g$ is monic, because there is no nontrival parallel pair of maps to $f$. But $b$ is not monic.

Exercise 1.11.12 on p.37 in "Borceux Handbook on Categorical Algebra I" also has a solution for a suitable $D$ in the diagram on top of that same page.

share|improve this answer
    
Ah, this is very instructive, thanks! –  Martin Brandenburg Jan 5 '12 at 13:36
add comment

Your Answer

 
discard

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.