Implemented IsMonomorphism and IsEpimorphism methods