I learn from Gelfand and Manin's Methods of Homological Algebra, Exercise 2 for I.4 that two maps $f,g\colon X\to Y$ between simplicial sets $X,Y$ are simply homotopic (maybe usually called simplicial homotopic, as Zhen Lin pointed out) if and only if there exists $h\colon\Delta[1]\times X\to Y$ such that either $f=h\circ p_0,g=h\circ p_1$ or $f=h\circ p_1,g=h\circ p_0$ where the simplicial set $\Delta[1]\times X$ is the diagonal of the bisimplicial set $\Delta[1]\times X$ (sorry for abuse of notation), and $p_0,p_1\colon\Delta[1]\times X\to X$ are projections to vertices $0$ and $1$, and $f,g\colon X\to Y$ are homotopic if there exists a chain $f=f_0,f_1,\dotsc,f_{n+1}=g$ such that $f_j,f_{j+1}$ are simply homotopic for any $0\le j\le n$.
Meanwhile, when we're considering simplicial maps $f,g\colon K\to L$ between simplicial complexes $K,L$, we define $f,g$ are contiguous if, for each simplex $\sigma\in K$, $f(\sigma),g(\sigma)$ lies in a common simplex in $L$, and $f,g$ are contiguous equivalent if there exists $f=f_0,f_1,\dotsc,f_{n+1}=g$ such that $f_j,f_{j+1}$ are contiguous for any $0\le j\le n$. The definition is taken from Singer and Thorpe's Lecture Notes on Elementary Topology and Geometry.
My question arises: since simplicial complexes have simplicial structures, namely could be naturally associated with simplicial sets, does these concepts coincide? Namely, is it true that $f,g$ are homotopic if and only if they are contiguous equivalent in the context of simplicial complexes?
One should note that the concept of simply homotopy relies, informally, speaking, on the canonical triangulation of the $\Delta[1]\times X$ as a bisimplicial set, but the one of contiguous doesn't.
Any help? Thanks!
