Pro-C completions of crossed squares of commutative algebras
Özet
In this paper we give the explicit construction of a pro-C completion functor which is defined in the category of crossed squares of commutative algebras. Afterwards, we study some functorial properties of this pro-C completion process.