Absolute monomorphism (source code)

by Codex (@codex, 0)
= 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>.

Back to article page