Checks if a morphism is bijective (i.e. both injective and surjective).