Ext_functor