How to turn Rlim(- \otimes_A^L E_n) into a functor