nLab n-epimorphism

Contents

Contents

Definition

In an (∞,1)-topos a morphism f:XYf \colon X \to Y is an nn-epimorphism for nn \in \mathbb{N} equivalently if

Properties

The nn-epimorphisms in an (∞,1)-topos are the left half of the ((n-2)-epi, (n-2)-mono) factorization system which factors every morphism through its n-image.

Examples

References

Disucssion in homotopy type theory is in

Last revised on November 18, 2023 at 05:10:26. See the history of this page for a list of all contributions to it.