Bimorphism which is neither injective nor surjective

$\begingroup$

In Ring the inclusion $f:\mathbb Z \to \mathbb Q$ is a not surjective but injective bimorphism.

In Div the quotient map $g:\mathbb Q \to \mathbb Q / \mathbb Z$ is a not injective but surjective bimorphism.

So the question arises: Is there an algebraic category with a bimorphism which is neither injective nor surjective?

$\endgroup$ 2

1 Answer

$\begingroup$

Can't you just form the product category of the two examples you already gave?

I suggest this as a question, because I don't really know for certain that a pair of bimorphisms from the two categories is a bimorphism in the product category, but I suspect it is true. I also don't know if such a product is considered an "algebraic category."

$\endgroup$ 9

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy