nLab
effective monomorphism
Effective monomorphisms
Context
Category theory
category theory
Concepts
Universal constructions
Theorems
Extensions
Applications
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.