Example 3.24.
Since \(X^{S^0} = X \times X\), we see that \(\pi_0(X) \cong \tau_0 X \times X \in T_{/X}\). It becomes a pointed object via the canonical section \(X \xrightarrow{\Delta} X \times X \to \tau_0 X \times X\).
Example 3.24.
Since \(X^{S^0} = X \times X\), we see that \(\pi_0(X) \cong \tau_0 X \times X \in T_{/X}\). It becomes a pointed object via the canonical section \(X \xrightarrow{\Delta} X \times X \to \tau_0 X \times X\).