Joins for (Augmented) Simplicial Sets

We introduce a notion of join for (augmented) simplicial sets generalising the classical join of geometric simplicial complexes. The definition comes naturally from the ordinal sum on the base simplicial category $\mathrm{\Delta }$.