Let $\Delta$ be the simplicial category. Let $\tilde{\Delta}$ be the subcategory of non-empty totally ordered sets as objects and order-preserving maps that also preserve the smallest and largest elements in totally ordered sets.
Every time I see $\text{op}$ used I struggle. How can you easily identify when a functor is covariant but maps to $\tilde{\Delta}^{\text{op}}$? Specifically there's a functor from $\Delta \to \tilde{\Delta}^{\text{op}}$ given by $\sigma \mapsto \text{Hom}_{\Delta}(\sigma, [0,1])$ where that homset has the structure of a totally ordered set given by $f\leq g \iff f(i) \leq g(i)$ for every $i \in \sigma$.
How can you see that the functor $S$ maps to the opposite category of $\tilde{\Delta}$?
If we have $\sigma \xrightarrow{f} \tau \xrightarrow{g} \phi$ in $\Delta$, then $\text{Hom}_{\Delta}(\tau, [0, 1]) \xrightarrow{S(g)} \text{Hom}_{\Delta}(\phi, [0,1])$ in $\Delta^{\text{op}}$ since $S(g)(h) := h \circ g \in \text{Hom}_{\Delta}(\phi, [0,1])$ for each $h \in \text{Hom}_{\Delta}(\tau, [0,1])$. In other words ?
I think I got that part wrong.