A note on deriving unbounded functors of exact categories, with applications to Ind- and Pro- functors

Abstract

In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\to \mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving functors between $Pro$- and $Ind$- categories.

24 pages, Preliminary version; comments welcome