Question: What theory address the phenomenon of homomorphisms being neither injective nor surjective?
Sentence: Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon.
Answer in sentence: yes