Absolute monomorphism

ID: absolute-monomorphism

An absolute monomorphism is a morphism sent to a monomorphism by every functor out of its category. The absolute monomorphisms are exactly the split monomorphisms.

New to topics? Read the docs here!