Timeline for First: upper-star, then: lower-star, finally: lower-shriek
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12, 2010 at 3:06 | comment | added | Todd Trimble | Nice! Well, that's that! | |
| Sep 12, 2010 at 2:34 | vote | accept | David Spivak | ||
| Sep 12, 2010 at 2:29 | comment | added | David Spivak | Actually, Mathieu Anel found a very nice way of getting the image factorization quite naively. Begin with [1]="0-->1". Map it to the "coequalizer category" "-1==>0-->1" and apply the lower star: this gives the kernel. Now map this to "-1==>0-->1/2-->1" again with 1/2 coequalizing the two maps 0==>1. Apply the lower shriek. This is your answer. | |
| Sep 12, 2010 at 0:25 | history | answered | Todd Trimble | CC BY-SA 2.5 |