img factorization fully faithful if functor is