p = stableHom(M,N)
The stable Hom is Hom(M,N)/T where T is the submodule of homomorphisms that factor through a free cover of N (or, equivalently, through any projective)
The object stableHom is a method function.
The source of this document is in CompleteIntersectionResolutions.m2:4649:0.