# 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)$