Monomorphism categories, cotilting theory, and Gorenstein-projective modules