Derived functor Homological algebra



suppose given covariant left exact functor f : → b between 2 abelian categories , b. if 0 → → b → c → 0 short exact sequence in a, applying f yields exact sequence 0 → f(a) → f(b) → f(c) , 1 ask how continue sequence right form long exact sequence. strictly speaking, question ill-posed, since there numerous different ways continue given exact sequence right. turns out (if nice enough) there 1 canonical way of doing so, given right derived functors of f. every i≥1, there functor rf: → b, , above sequence continues so: 0 → f(a) → f(b) → f(c) → rf(a) → rf(b) → rf(c) → rf(a) → rf(b) → ... . see f exact functor if , if rf = 0; in sense right derived functors of f measure how far f being exact.







Comments

Popular posts from this blog

CACHEbox ApplianSys

Kinship systems Apache

Western Apache Apache