- Objects. We have
\[ \text{Obj}\webleft (\mathbb {n}\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ \webleft [0\webright ],\ldots ,\webleft [n\webright ]\webright\} . \]
- Morphisms. For each $\webleft [i\webright ],\webleft [j\webright ]\in \text{Obj}\webleft (\mathbb {n}\webright )$, we have
\[ \textup{Hom}_{\mathbb {n}}\webleft (\webleft [i\webright ],\webleft [j\webright ]\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\begin{cases} \webleft\{ \text{id}_{\webleft [i\webright ]}\webright\} & \text{if $\webleft [i\webright ]=\webleft [j\webright ]$,}\\ \webleft\{ \webleft [i\webright ]\to \webleft [j\webright ]\webright\} & \text{if $\webleft [j\webright ]<\webleft [i\webright ]$,}\\ \text{Ø}& \text{if $\webleft [j\webright ]>\webleft [i\webright ]$.} \end{cases} \]
- Identities. For each $\webleft [i\webright ]\in \text{Obj}\webleft (\mathbb {n}\webright )$, the unit map
\[ \mathbb {1}^{\mathbb {n}}_{\webleft [i\webright ]} \colon \text{pt}\to \textup{Hom}_{\mathbb {n}}\webleft (\webleft [i\webright ],\webleft [i\webright ]\webright ) \]
of $\mathbb {n}$ at $\webleft [i\webright ]$ is defined by
\[ \text{id}^{\mathbb {n}}_{\webleft [i\webright ]} \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\text{id}_{\webleft [i\webright ]}. \]
- Composition. For each $\webleft [i\webright ],\webleft [j\webright ],\webleft [k\webright ]\in \text{Obj}\webleft (\mathbb {n}\webright )$, the composition map
\[ \circ ^{\mathbb {n}}_{\webleft [i\webright ],\webleft [j\webright ],\webleft [k\webright ]} \colon \textup{Hom}_{\mathbb {n}}\webleft (\webleft [j\webright ],\webleft [k\webright ]\webright ) \times \textup{Hom}_{\mathbb {n}}\webleft (\webleft [i\webright ],\webleft [j\webright ]\webright ) \to \textup{Hom}_{\mathbb {n}}\webleft (\webleft [i\webright ],\webleft [k\webright ]\webright ) \]
of $\mathbb {n}$ at $\webleft (\webleft [i\webright ],\webleft [j\webright ],\webleft [k\webright ]\webright )$ is defined by
\[ \begin{gathered} \text{id}_{\webleft [i\webright ]}\circ \text{id}_{\webleft [i\webright ]} = \text{id}_{\webleft [i\webright ]},\\ \webleft (\webleft [j\webright ]\to \webleft [k\webright ]\webright )\circ \webleft (\webleft [i\webright ]\to \webleft [j\webright ]\webright ) = \webleft (\webleft [i\webright ]\to \webleft [k\webright ]\webright ).\end{gathered} \]