Title:Homotopy in the Category of Graphs

Abstract:We develop a theory of homotopy for graphs which is internal to the category of graphs. Previous authors have associated spaces to graphs and their homomoprhisms, and used the homotopical properties of the spaces to get graph theory results. We develop a theory for graph homotopy that is independent of such constructions and does not use topological or simplicial objects. We develop the basic theory, and show that graphs form a 2-category, and the quotient of the 2-cells forms a the categorical homotopy category. We explore the explicit structure of homotopy of graph homomorphisms and homotopy equivalences of graphs, and establish a connection to dismantling of graphs, identifying a canonical representation for graph homotopy classes. We finish by constructing a fundamental groupoid for graphs that is both functorial and a homotopy invariant.