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!