Left Exactness of Hom Functors