Monomorphism in category theory is a morphism that is injective, meaning it preserves distinctness and can be thought of as a kind of 'embedding' of one object into another. It is a fundamental concept that helps in understanding the structure and relationships between objects in a category, analogous to injective functions in set theory.