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!