In this paper, we study the homological algebra of the category \mathcal{J}
c of locally convex topological vector spaces from the point of view of derived categories. We start by showing that \mathcal{J}
c is a quasi-abelian category in which products and direct sums are exact. This allows us to derive projective and inductive limit functors and to clarify their homological properties. In particular, we obtain strictness and acyclicity criteria. Next, we establish that the category formed by the separated objects of \mathcal{J}
c is quasi-abelian and has the same derived category as \mathcal{J}
c. Since complete objects of \mathcal{J}
c do not form a quasi-abelian category, we are lead to introduce the notion of cohomological completeness and to study the derived completion functor. Our main result in this context is an equivalence between the subcategory of
D(\mathcal{J}
c) formed by cohomologically complete complexes and the derived category of the category of pro-Banach spaces. We show also that, under suitable assumptions, we can reduce the computation of Ext's in \mathcal{J}
c to their computation in
Ban by means of derived projective limits. We conclude the paper by studying derived duality functors.
View full abstract