映射锥是同伦论里的一个构造，同调代数里看就是线性映射的 kernel 和 cokernel 的混合体，如果有线性映射f:A→B可以把这整个东西看做一个 complex,H0=Ker(f),H1=Coker(f), 给了 complex 的映射f∙:X∙→Y∙怎么 “看做一个 complex” 呢？先把这个东西看做一个双复形再沿着对角线求直和压成一个复形C
映射锥是同伦论里的一个构造，同调代数里看就是线性映射的 kernel 和 cokernel 的混合体，如果有线性映...
映射锥是同伦论里的一个构造，同调代数里看就是线性映射的 kernel 和 cokernel 的混合体，如果有线性映...
映射锥也顺便解释了为什么定义 shift by 1 的时候d要加个负号，因为dC(f)在X上是负的。回到同调代数...