Essential properties of pro-objects in Grothendieck categories Timothy Porter (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Extensions of semimodules and the Takahashi functor Ext Λ ( C , A ) . Patchkoria, Alex (2003) Homology, Homotopy and Applications