nLab
effective monomorphism
Effective monomorphisms
Context
Category theory
Higher category theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
Effective monomorphisms
Idea
Definition
A morphism in a category is an effective monomorphism if
-
it has a cokernel pair, i.e. if the pushout exists;
-
it is the equalizer of the canonical pair of morphisms .
Such a morphism, , may probably also be called an embedding.
The dual concept is that of effective epimorphism. See there for more discussion.
References
Exposition and examples:
Last revised on August 26, 2021 at 16:56:15.
See the history of this page for a list of all contributions to it.