Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2016
    • (edited Mar 17th 2016)

    I have finally filled content into the entry derived functor in homological algebra.

    That entry had existed in template form for years, with the intention to eventually take up that content, but clearly I had forgotten to actually put it there after I had written it out on my own web at HAI (schreiber). Now I have copied it over.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMar 17th 2016
    • (edited Mar 17th 2016)

    Nice work.

    Still I am bit confused with the intended scope of the page. It starts talking about “total hyperderived functor” (I do not know what is hyper for here, but never mind) and it does start with mentioning a derived category, but the rest is about what are now called as you know the classical derived functors, that is, the derived functors in the setup of abelian categories a la Cartan-Eilenberg and Tohoku. Modern homological algebra by the (left or right) derived functor by default instead means the corresponding total derived functor between the appropriate derived categories, usually defined there by means of a Kan extension. Under mild conditions, they can be (of course) related to the classical derived functors.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2016
    • (edited Mar 17th 2016)

    That’s precisely the intention of the page, to go through the classical theory. I tried to say that at the beginning of the page, but if it remains unclear, please feel invited to add further commentary along these lines.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeMar 18th 2016
    • (edited Mar 18th 2016)

    Then we have to change at some point the misleading title. E.g. to say not that this is derived functor in homological algebra but in Cartan-Eilenberg approach or whatever such. nnLab is considered supermodern so by homological algebra we should understand what is the modern usage of the subject by practitioners, and separate the “classical” 1950-s phase from 1960-s (Grothendieck-Verdier) and 1980-s on (enhanced derived categories). I do not think that the term classical refers to such homological algebra (as derived categories of 1960s are also classical) but that the specific term “classical derived functor” is established for the sequences of derived functors in the setup of abelian categories. The approach via satellites is also from that first period and is a variant of the same.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 18th 2016

    Okay, sure, please change the title to whatever seems to appropriately describe the content. Thanks.