14.13.0.1
\begin{equation} \label{simplicial-equation-functor-product-with-simplicial-set} \left\{ (f_{n, u} : V_ n \to W_ n)_{n \geq 0, u \in U_ n} \text{ such that } \begin{matrix} \forall \varphi : [m] \to [n]
\\ f_{m, U(\varphi )(u)} \circ V(\varphi ) = W(\varphi ) \circ f_{n, u}
\end{matrix} \right\} \end{equation}
Comments (1)
Comment #1013 by correction_bot on