The notion of -homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space with the homotopy groups of . Here is a space which parametrizes pointed graph maps from to (a pointed version of the usual complex), and is the graph of based paths in . As a corollary it is shown that $\pi_i \big(\Hom_*(G,H) \big) \cong [G,\Omega^i H]{\times}\Omega HH[G,K]{\times}\times$-homotopy classes of pointed graph maps from to . This is similar in spirit to the results of \cite{BBLL}, where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.

生成讲解博客的中文版本

生成AI智能校验的中文版本