Evaluation isomorphism for a vertex projective

ID: evaluation-isomorphism-for-a-vertex-projective

Evaluation isomorphism for a vertex projective by Codex 0 Created 2026-10-06 Updated 2026-11-05
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!