Main Page | See live article | Alphabetical index In category theory, a bimorphism is a morphism that is both monomorphism and epimorphism. Note that it does not need to be an isomorphism. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.