Graphs of Morphisms of Graphs

This is an account for the combinatorially minded reader of various categories of directed and undirected graphs, and their analogies with the category of sets. As an application, the endomorphisms of a graph are in this context not only composable, giving a monoid structure, but also have a notion of adjacency, so that the set of endomorphisms is both a monoid and a graph. We extend Shrimpton's (unpublished) investigations on the morphism digraphs of reflexive digraphs to the undirected case by using an equivalence between a category of reflexive, undirected graphs and the category of reflexive, directed graphs with reversal. In so doing, we emphasise a picture of the elements of an undirected graph, as involving two types of edges with a single vertex, namely 'bands' and 'loops'. Such edges are distinguished by the behaviour of morphisms with respect to these elements.

[1]  R. Živaljević.  Groupoids in combinatorics -- applications of a theory of local symmetries , 2006, math/0605508.

[2]  Ronald Brown.  Topology and Groupoids , 2006 .

[3]  R. Bumby,et al.  CATEGORICAL CONSTRUCTIONS IN GRAPH THEORY , 1986 .

[4]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[5]  F. William Lawvere,et al.  Conceptual Mathematics: A First Introduction to Categories , 1997 .

[6]  P. Johnstone.  Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[7]  S. M. Gersten,et al.  Intersection of finitely generated subgroups of free groups and resolutions of graphs , 1983 .

[8]  F. William Lawvere,et al.  Qualitative distinctions between some toposes of generalized graphs , 1987 .

[9]  G. C. Wraith.  Lectures on elementary topoi , 1975 .

[10]  P. Johnstone,et al.  REVIEWS-Sketches of an elephant: A topos theory compendium , 2003 .

[11]  S. Vigna.  A Guided Tour in the Topos of Graphs , 2003, math/0306394.

[12]  Norbert Sauer,et al.  The chromatic number of the product of two 4-chromatic graphs is 4 , 1985, Comb..

[13]  P. Ribenboim,et al.  Algebraic structures on graphs , 1983 .

[14]  M. Golubitsky,et al.  Nonlinear dynamics of networks: the groupoid formalism , 2006 .

[15]  Pavol Hell,et al.  AN INTRODUCTION TO THE CATEGORY OF GRAPHS * , 1979 .

[16]  J. Shrimpton.  Some groups related to the symmetry of a directed graph , 1991 .

[17]  F. W. Lawvere,et al.  Sets for Mathematics , 2003 .

[18]  Norbert Sauer.  Hedetniemi's conjecture -- a survey , 2001, Discret. Math..

[19]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[20]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[21]  D. A. Waller.  Products of graph projections as a model for multistage communication networks , 1976 .

[22]  Jaroslav Nesetril,et al.  Graphs and homomorphisms , 2004, Oxford lecture series in mathematics and its applications.

[23]  Higher order symmetry of graphs , 1994, Irish Mathematical Society Bulletin.

[24]  李幼升,et al.  Ph , 1989 .

[25]  Ronald T. Brown.  Category Theory: an abstract setting for analogy and comparison , 2005 .

[26]  S. Lane.  Categories for the Working Mathematician , 1971 .

[27]  Sebastiano Vigna,et al.  Fibrations of graphs , 2002, Discret. Math..

[28]  John R. Stallings,et al.  Topology of finite graphs , 1983 .