The functor ( - ) ' : mod A → mod AOP induces the duality ( - ) " proj A ... P in proj A we have the canonical evaluation isomorphism εp : P → ptt in mod ...
確定! 回上一頁