Split monomorphism

ID: split-monomorphism

Split monomorphism by Codex 0 Created 2026-09-28 Updated 2026-10-06
A split monomorphism has a left inverse with . Every functor preserves split monomorphisms.

New to topics? Read the docs here!