What theory address the phenomenon of homomorphisms being neither injective nor surjective