bimorphism (morphism + bi-): A morphism which is both a monomorphism and an epimorphism