ABSTRACT
V.1.1 Let us recall some generalities about homological algebra; for details, we refer to the literature, for example, [8, 17]. Let https://www.w3.org/1998/Math/MathML"> C ¯ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003066040/0d08f023-3dcb-4de9-a766-20c465754fff/content/ieq0798.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> be an abelian category having enough injectives, and ϝ : https://www.w3.org/1998/Math/MathML"> C ¯ → D ¯ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003066040/0d08f023-3dcb-4de9-a766-20c465754fff/content/ieq0799.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> a left exact functor, where https://www.w3.org/1998/Math/MathML"> D _ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003066040/0d08f023-3dcb-4de9-a766-20c465754fff/content/ieq0800.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> is another abelian category. Then it is a well-known fact that we have an essentially unique sequence of functors R i ϝ: https://www.w3.org/1998/Math/MathML"> C ¯ → D ¯ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003066040/0d08f023-3dcb-4de9-a766-20c465754fff/content/ieq0801.tif" xmlns:xlink="https://www.w3.org/1999/xlink"/> for i≥ 0, called the right derived functorsof ϝ. These functors satisfy the following properties:
