V. Palamodov: Homological methods in the theory of locally convex spaces.
Russ. Math. Surveys 26 (1971), 1-64.

21991 Fabienne Prosmans: Derived categories for functional analysis.
Internet 1999, 56p.

16246 Jochen Wengenroth: Derived functors in functional analysis.
Springer LNM 1810 2003, 130p. Eur 24.