left derived functor

  1. REDIRECT derived functor