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.
Articles by others on the same topic
There are currently no matching articles.