solifine

The objects of the simplicial category 𝚫 are [n] = {0 < 1 < ⋯ < n}, for n≥0, and instead of writing Δⁿ for the representable simplicial set hom(-,[n]), let's just write [n]. (Mostly so we can actually write [mᵢ] on twitter!) ⌊03⌋

What are the operad structure maps? The tensor unit for ⨿ is ∅, so we don't have any choice about the "unit" ∅ → Δ¹ = [1] in our operad. ⌊04⌋

To write the operadic multiplications γ: [r] ⨿ ([m₁] ⨿ ⋯ ⨿ [mᵣ]) → [Σmᵢ], maybe it's good to write elements like (k,r) and (k,mᵢ) to specify which component we're starting in. ⌊05⌋

(ofc you should be careful, bc in real life you could have, like, m₁=m₂=r=5 and then you'll get confused) ⌊06⌋

Are you satisfied that the standard simplices form an operad? If so, let X be a simplicial set. We know that hom(A⨿B,X) = hom(A,X)×hom(B,X) and X(n) = hom(Δⁿ,X). (here, hom means "simplicial set morphisms", while earlier it meant morphisms in 𝚫) ⌊09⌋

It follows that the maps γ from above give functions X(Σmᵢ) → X(r)×(X(m₁)×⋯×X(mᵣ)) and the unique map ∅ → [1] gives X(1) → hom(∅,X) = ∗. ⌊10⌋