Timeline for Do copairings provide dualities in derived categories?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2015 at 5:06 | comment | added | Qiaochu Yuan | "Cokernel of kernel" and "kernel of cokernel" are extremely misleading definitions; e.g. they don't suggest the correct form of the 1-categorical nonlinear generalizations, which are "coequalizer of the kernel pair" and "equalizer of the cokernel pair" (which are distinct in general). In the $\infty$-setting the kernel and cokernel pairs generalize to the standard simplicial resp. cosimplicial objects you can build out of a morphism by taking repeated pullbacks resp. pushouts and the coequalizer resp. equalizer generalizes to the geometric realization resp. totalization. | |
| Apr 29, 2015 at 3:29 | history | asked | Theo Johnson-Freyd | CC BY-SA 3.0 |