Timeline for prove natural transformation is epimorphism
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2011 at 23:25 | comment | added | Steve Lack | A piece of evidence for suggestion that this is not entirely trivial is that if you replace Set by another category K it may not be true. By Tom's argument it will be true if K is has pushouts, but there are examples of categories K and C for which the evaluation maps $ev_c:[C,K]\to K$ do not always preserve epimorphisms. | |
| Jan 22, 2011 at 23:43 | comment | added | user12394 | Thank you for your answer. I think I can prove if a morphism preserves colimits then it preserves epis. but still not sure how to relate natural transformation f to fc(morphism in set). Can you explain more about that? Thanks. | |
| Jan 22, 2011 at 23:03 | vote | accept | user12394 | ||
| Jan 22, 2011 at 20:08 | history | answered | Tom Leinster | CC BY-SA 2.5 |