Prev: An �unknown� electron.
Next: CLIMATE-GATE, RELATIVITY-GATE, ENTROPY-GATE
From: Rotwang on 21 Jan 2010 15:13
Hi all

Suppose that F, G are functors D -> C, and that t is a natural
transformation from F to G which is monic in the functor category C^D.
Can it be shown that each component t_d of t is monic in C? If not in
general, how about the special case where C is the category of sets?
From: Rotwang on 21 Jan 2010 15:32
Rotwang wrote:
> Hi all
>
> Suppose that F, G are functors D -> C, and that t is a natural
> transformation from F to G which is monic in the functor category C^D.
> Can it be shown that each component t_d of t is monic in C? If not in
> general, how about the special case where C is the category of sets?

Never mind, I figured it out.
 | 
Pages: 1
Prev: An �unknown� electron.
Next: CLIMATE-GATE, RELATIVITY-GATE, ENTROPY-GATE