Kerodon

Warning 3.2.1.11. Notation 3.2.1.10 has the potential to create confusion. If $(X,x)$ and $(Y,y)$ are pointed simplicial sets and $f: X \rightarrow Y$ is a morphism satisfying $f(x) = y$, then we use the notation $[f]$ to represent both the homotopy class of $f$ as a map of simplicial sets (that is, the image of $f$ in the set $\pi _0( \operatorname{Fun}(X,Y) )$), and the pointed homotopy class of $f$ as a map of pointed simplicial sets (that is, the image of $f$ in the set $[X,Y]_{\ast } = \pi _{0}( \operatorname{Fun}(X,Y) \times _{ \operatorname{Fun}( \{ x\} , Y) } \{ y\} )$). Beware that these usages are not the same: in general, it is possible for a pair of pointed morphisms $f,g: X \rightarrow Y$ to be homotopic without being pointed homotopic.