 Nerve of a category

The nerve of a category $\mathcal{C}$ hasso an $n$-simplex is a string of $n$ composable morphisms. Every inner horn in a nerve has a unique filler.