E = approximationSequence M
The approximation sequence of a module M over a Gorenstein ring is the versal short exact sequence $$0\to P \to M' \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 approximationSequence is a function closure.