Definition 2.4.14. We define the homotopical \(n\)-sphere \(S^n \in \An _*\) inductively by setting \(S^0 := * \sqcup *\) (with the first point as basepoint, say), and taking \(S^{n+1} := \Sigma (S^{n})\).
Generated from the authoritative LaTeX source.