Timeline for A 2-category of chain complexes, chain maps, and chain homotopies?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2022 at 18:21 | comment | added | Elías Guisado Villalgordo | @ಠ_ಠ This was six months ago for me, and I am afraid I have forgotten everything I did then, sorry. I asked about this here, because there was something I wasn't understanding well from Qiaochu Yuan's answer. The comments from მამუკაჯიბლაძე clarified that what I wasn't understanding was just a silliness, but after that I had to move on and I didn't have time to work out the correct definition. If you find it, I would like to know ^^ | |
| Dec 15, 2022 at 9:52 | comment | added | ಠ_ಠ | @ElíasGuisado Do you know what the correct rule for horizontal composition is then? | |
| Jun 8, 2022 at 12:44 | comment | added | Elías Guisado Villalgordo | The definition $(\sigma '\circ\sigma)_n=f_{n-1}'\sigma_n+\sigma_n'g_n$ for horizontal composition does not fulfill the law of middle four interchange. | |
| Jan 29, 2012 at 23:43 | comment | added | Arthur | Thanks. And yes, I believe your definition of horizontal composition is the same as mine under equivalence of higher chain homotopies now that I know what that condition is. | |
| Jan 29, 2012 at 13:19 | history | answered | Ralph | CC BY-SA 3.0 |