Ext in derived categories

Generic adjunction, dimension-shift, quotient-generator finiteness, and injective-resolution naturality for Ext in arbitrary abelian categories.