共変な右完全関手 "g" と圏aが充分に射影的(つまり、aの対象 "a" に対し、射影的対象 "p" とエピ射 "p" → "a" が存在する)とすると、右導来関手と同様に左導来関手 "lig" を定義することができる。