Ext functor

under the equivalence relation generated by the relation that identifies two extensions