In homological algebra, a δ-functor between two abelian categoriesA and B is a collection of functors from A to B together with a collection of morphisms that satisfy properties generalising those of derived functors. A universal δ-functor is a δ-functor satisfying a specific universal property related to extending morphisms beyond "degree 0". These notions were introduced by Alexander Grothendieck in his "Tohoku paper" to provide an appropriate setting for derived functors. In particular, derived functors are universal δ-functors. The terms homological δ-functor and cohomological δ-functor are sometimes used to distinguish between the case where the morphisms "go down" and the case where they "go up". In particular, one of these modifiers is alwaysimplicit, although often left unstated.
Definition
Given two abelian categories A and B a covariant cohomological δ-functor between A and B is a family of covariant additive functorsTn : A → Bindexed by the non-negative integers, and for each short exact sequence a family of morphisms indexed by the non-negative integers satisfying the following two properties: 1. For each shortexact sequence as above, there is a long exact sequence 2. For each morphism of short exact sequences and for each non-negative n, the induced square is commutative. The second property expresses the functoriality of a δ-functor. The modifier "cohomological" indicates that the δn raise the index on the T. A covariant homological δ-functor between A and B is similarly defined, but with δn a morphism Tn → Tn-1. The notions of contravariant cohomological δ-functor between A and B and contravariant homological δ-functor between A and B can also be defined by "reversing the arrows" accordingly.
A morphism of δ-functors is a family of natural transformations that, for each short exact sequence, commute with the morphisms δ. For example, in the case of two covariant cohomological δ-functors denoted S and T, a morphism from S to T is a family Fn : Sn → Tn of naturaltransformations such that for every short exact sequence the following diagram commutes:
Universal δ-functor
A universal δ-functor is characterized by the property that giving a morphism from it to any other δ-functor is equivalent to giving just F0. If S denotes a covariant cohomological δ-functor between A and B, then S is universal if given any other δ-functor T, and given any natural transformation there is a unique sequence Fn indexed by the positive integers such that the family n ≥ 0 is a morphism of δ-functors.
