Derived functors associated to the ideal of compact operators in Banach spaces

We compute the derived functors of (the functors associated to) the ideal of compact operators in Banach spaces and obtain new results about the extension and lifting of compact operators.