so we worked out the total derived functor of "kernel", more or less... seeing how it begins to mix the concepts of kernel and cokernel together... but then we want to flesh this out a lot... how it relates to "long exact homology sequence" and so forth... something about weighted colimits and limits, and adjoint weights ... ??and so forth... ???
alex also brought up the idea of analogs of "flat ag morphism" in topos theory... or something like that... ??...
No comments:
Post a Comment