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.
Articles by others on the same topic
The Ext functors are the right derived functors of the Hom functor. They can be computed by applying to a projective resolution of and taking cohomology.