E = coApproximationSequence M
The coapproximation sequence of a module M over a Gorenstein ring is the versal short exact sequence $$0\to M \to P \to M' \to 0$$ where M' is a maximal Cohen-Macaulay module and P is a module of finite projective dimension, as defined by Auslander and Buchweitz.
|
|
|
|
The object coApproximationSequence is a function closure.