“…For (1) see [12,13] For the converse implication, we use that every cotilting module is pure-injective, see [11,28], or [18, 8.1.7]. So, if C is a cotilting module such that ⊥ C = A, and S consists of the pure-injective modules in B, then S is a coresolving subcategory of PI that contains C and has the stated properties, see [18, 8.1.10].…”