Ext関手
from
Hom関手
https://ja.wikipedia.org/wiki/Ext関手