Definition 14.15.1. Let $\mathcal{C}$ be a category with finite products. Let $V$ be a simplicial object of $\mathcal{C}$. Let $U$ be a cosimplicial set such that each $U_ n$ is finite nonempty. We define $\mathop{\mathrm{Hom}}\nolimits (U, V)$ to be the simplicial object of $\mathcal{C}$ defined as follows:
we set $\mathop{\mathrm{Hom}}\nolimits (U, V)_ n = \prod _{u \in U_ n} V_ n$, in other words the unique object of $\mathcal{C}$ such that its $X$-valued points satisfy
\[ \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, \mathop{\mathrm{Hom}}\nolimits (U, V)_ n) = \text{Map}(U_ n, \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(X, V_ n)) \]and
for $\varphi : [m] \to [n]$ we take the map $\mathop{\mathrm{Hom}}\nolimits (U, V)_ n \to \mathop{\mathrm{Hom}}\nolimits (U, V)_ m$ given by $f \mapsto V(\varphi ) \circ f \circ U(\varphi )$ on $X$-valued points as above.
Comments (0)