Ext functor

In the context of category theory, the Ext functor is a tool used in homological algebra to measure the extent to which a module (or an object in an abelian category) fails to be projective.