:if is an injective ring homomorphism from into a field , then there exists a unique ring homomorphism that extends .

There is a categorical interpretation of this construction. Let be the category of integral domains and injective ring maps. The functor from