def SSet.isTerminalDeltaZero : CategoryTheory.Limits.IsTerminal (stdSimplex.obj { len := 0 })

The object Δ[0] is terminal in SSet.

Equations

• SSet.isTerminalDeltaZero = SSet.stdSimplex.isTerminalObj₀