Evaluation isomorphism for a vertex projective
ID: evaluation-isomorphism-for-a-vertex-projective
Evaluation at identifies a module homomorphism with . Given , the inverse sends to . The isomorphism is natural and shows that Hom functor evaluation on a vertex projective is exact.
New to topics? Read the docs here!