Timeline for Category = Groupoid x Poset?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 13, 2020 at 22:00 | history | edited | Peter Arndt | CC BY-SA 4.0 |
supplied the missing "op"s
|
| Mar 25, 2010 at 4:00 | comment | added | Tom Leinster | I agree that considering idempotents is important. To focus the issue: take the category C with only one object and only one non-identity morphism, which is idempotent. The original question seems to founder on this example; how do you "split it up"? Peter reaches a positive answer by blurring this issue out (which probably has to be done if you do want a positive answer). | |
| Mar 24, 2010 at 17:13 | history | edited | François G. Dorais | CC BY-SA 2.5 |
fixed link
|
| Mar 24, 2010 at 15:02 | history | answered | Peter Arndt | CC BY-SA 2.5 |