Complétion monadique
The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.
The aim of this paper is to present a starting point for proving existence of injective minimal models (cf. [8]) for some systems of complete differential graded algebras.