Perfect maps are exponentiable - categorically.
Precobalanced and cobalanced sequences of modules over domains
The class of pure submodules () and torsion-free images () of finite direct sums of submodules of the quotient field of an integral domain were first investigated by M. C. R. Butler for the ring of integers (1965). In this case and short exact sequences of such modules are both prebalanced and precobalanced. This does not hold for integral domains in general. In this paper the notion of precobalanced sequences of modules is further investigated. It is shown that as in the case for abelian groups...
Pro-reflections and pro-factorizations
Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof.