Timeline for prove natural transformation is epimorphism
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2011 at 19:53 | comment | added | Tom Leinster | A morphism e in a category is called an epimorphism if it has the right cancellation property: xe = ye implies x = y. I don't think it's as simple as "by definition". | |
| Jan 22, 2011 at 19:20 | history | answered | fosco | CC BY-SA 2.5 |