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

Revised on October 28, 2016 18:00:13 by Urs Schreiber (89.204.135.237)