derivatuer 5

http://ambp.cedram.org/cedram-bin/article/AMBP_2003__10_2_195_0.pdf

Mを圏でsmall projective? limitを持つものとしたとき、Mが定めるprederivatuer

A \mapsto Hom(A^op, M)はfaible a gaucheである。