Definition 14.20.1. Let $\mathcal{C}$ be a category. Let $U$ be a simplicial object of $\mathcal{C}$. An augmentation $\epsilon : U \to X$ of $U$ towards an object $X$ of $\mathcal{C}$ is a morphism from $U$ into the constant simplicial object $X$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).