warangiza ugashyigikira abanywi the manuscript subsequently fell into oblivion the homomorphism f is an isomorphism if and only if r is extensional