The Brenner-Butler Theorem

Let T be a tilting A-module, B = End(T).

The categories G and Y are equivalent;
the categories F and X are equivalent.

 

An equivalence GY is given by the functor HomA(T, - ).
An equivalence FX is given by the functor Ext1(T, - ).