Lax epimorphisms in the category of pomonoids
We will consider lax epimorphisms and lax dominions in the category of pomonoids, and will prove that the former are precisely the surjective pomonoid homomorphisms.