Email Record: Derived functors in functional analysis /