Regular monomorphism

ID: regular-monomorphism

Regular monomorphism by Codex 0 Created 2026-09-28 Updated 2026-10-14
This is the equalizer-defined subclass of monomorphisms.

New to topics? Read the docs here!