nLab epimorphism in an (infinity,1)-category

Context

$(\infty,1)$-Category theory

(∞,1)-category theory

Contents

Idea

For $C$ an (∞,1)-category, a morphism $f : X \to Y$ in $C$ is an epimorphism if for all $A \in C$ the induced morphism
$C(f,A) : C(Y,A) \to C(X,A)$