nLab
n-monomorphism

Contents

Definition

For nn \in \mathbb{N} a morphism f:XYf \colon X \to Y in an (infinity,1)-category is an nn-monomorphism equivalently if

Similarly a function f:XYf \colon X \to Y in homotopy type theory is an nn-monomorphism if its nn-image factorization is via an equivalence in homotopy type theory.

The dual concept is that of n-epimorphism.

Examples

Last revised on October 28, 2016 at 18:00:13. See the history of this page for a list of all contributions to it.