## Higher order symmetry of graphs (1994)

Venue: | In Lecture given at the September Meeting of the Irish Mathematical Society, available on the Author's web |

Citations: | 6 - 3 self |

### BibTeX

@ARTICLE{Brown94higherorder,

author = {Ronald Brown},

title = {Higher order symmetry of graphs},

journal = {In Lecture given at the September Meeting of the Irish Mathematical Society, available on the Author's web},

year = {1994},

pages = {46--59}

}

### OpenURL

### Abstract

It advertises the joining of two themes: groups and symmetry; and categorical methods and analogues of set theory. Groups are expected to be associated with symmetry. Klein’s famous Erlanger Programme asserted that the study of a geometry was the study of the group of automorphisms of that geometry. The structure of group alone may not give all the expression one needs of the intuitive idea of symmetry. One often needs structured groups (for example topological, Lie, algebraic, order,...). Here we consider groups with the additional structure of directed graph, which we abbreviate to graph. This type of structure appears in [18, 14]. We shall associate with a graph A a group AUT(A) which is also a graph. The vertices of AUT(A) are the automorphism of the graph A and the edges between automorphisms give an expression of “adjacency ” of automorphisms. The vertices of this graph form a group, and so also do the edges. The automorphisms of A adjacent to the identity will be called the inner automorphisms of the graph A. One aspect of the problem is to describe these inner automorphisms in terms of the internal structure of the graph A. The second theme is that of regarding the usual category of sets and mappings as but one environment for doing mathematics, and one which may be replaced by others. We use the word “environment ” here rather than “foundation”, because the former word implies a more relativistic approach.

### Citations

153 |
Foundations of Algebraic Topology
- Eilenberg, Steenrod
- 1952
(Show Context)
Citation Context .... It arose from attempting to explain the meaning of the word “natural” in mathematics, and with a strong impetus from the axiomatic approach to homology theories, developed by Eilenberg and Steenrod =-=[7]-=-. The original paper on the subject by Eilenberg and Mac Lane [6], has an interesting discussion of the word “natural” in terms of the map V → V ∗∗ of a vector space into its double dual. To define na... |

148 |
The geometry of tensor calculus I
- Joyal, Street
- 1991
(Show Context)
Citation Context ...dark" ([7]), and to spend a lot of effort in turning difficult results into a series of tautologies. As one other recent example, and an indication of a wide literature, the paper by Joyal and St=-=reet [8]-=- illustrates how an algebraic development initially formulated for metamathematical reasons, and almost for its own sake, namely the notion of monoidal, or tensored, category, has found striking appli... |

114 | Metric spaces, generalized logic, and closed categories - Lawvere - 1974 |

86 |
General theory of natural equivalences
- Eilenberg, MacLane
- 1945
(Show Context)
Citation Context ...tural" in mathematics, and with a strong impetus from the axiomatic approach to homology theories, developed by Eilenberg and Steenrod [6]. The original paper on the subject by Eilenberg and Mac =-=Lane [5], has an i-=-nteresting discussion of the word "natural" in terms of the map V ! V of a vectorspace into its double dual. To define natural required a definition of functors, and to define functors requi... |

63 |
Spaces with finitely many non-trivial homotopy groups
- Loday
- 1982
(Show Context)
Citation Context ...roups (for example topological, Lie, algebraic, order, ...). Here we consider groups with the additional structure of a directed graph, which we abbreviate to graph. This type of structure appears in =-=[17, 13]. We -=-shall associate with a graph A a group AUT(A) which is also a graph. The vertices of AUT(A) are the automorphisms of the graph A and the edges between automorphisms give an expression of "adjacen... |

60 |
Sheaves in geometry and logic: A first introduction to topos theory
- MacLane, Moerdijk
- 1994
(Show Context)
Citation Context ...n of their members. The categorical approach is that sets are defined by the relations between them, namely the functions, and this view has been strengthened by the success of topos theory. The book =-=[14]-=- is a good introduction to topos theory for those with a foundation in category theory. For an article relating the history of topos theory to notions of the foundations of sets, see [15]. 2 The autho... |

58 | From groups to groupoids: a briefsurvey
- Brown
- 1987
(Show Context)
Citation Context ...category theory is that the same algebraic tools are found applicable at several levels, and in a variety of areas. This feature is also found in groupoid theory, of which a survey was given by me in =-=[3]-=-. This notion has allowed the formulation of important extensions of group theory and of notions of symmetry. Thus category theory is par excellence the method which enables the recognition and exploi... |

48 |
Undergraduate algebraic geometry
- Reid
(Show Context)
Citation Context ...ot regarded as a foundation for mathematics. Some words have to be said on the advantages of categorical methods, whose objectives and methodology have failed to be realised by some. The book by Reid =-=[16]-=- even writes The study of category theory for its own sake (surely one of the most sterile of intellectual pursuits) also dates from this time; Grothendieck can't necessarily be blamed for this, since... |

28 | An elementary theory of the category of sets - Lawvere - 1964 |

22 |
G -groupoids, crossed modules and the fundamental groupoid of a topological group
- Brown, Spencer
(Show Context)
Citation Context ... G V ! GE such that sffl = tffl = 1. This concept has occurred elsewhere, for example as a 1-truncated simplicial group [13], and as part of the structure of a group-groupoid, as in Brown and Spencer =-=[4]-=-, where this is called a G-groupoid. Loday in [13] found it natural to consider the subgroup [Ker s; Ker t] and to say that the groupgraph is a cat 1 -group if this subgroup is trivial. If it is not t... |

22 |
Qualitative Distinctions between some Toposes of Generalized Graphs
- Lawvere
- 1989
(Show Context)
Citation Context ...ect, this means edges may be mapped to vertices. The category DG of directed graphs has objects the graphs and arrows the morphisms, and DG(A; B) denotes the set of graph morphisms A ! B . Lawvere in =-=[12]-=- calls this the category of reflexive graphs. This category has a teminal object, written ffl, with the property that for any graph A the vertices of A are naturally bijective with DG(ffl; A). The edg... |

14 | Taking categories seriously - Lawvere - 2005 |

6 |
The uses and abuses of the history of topos theory
- McLarty
- 1990
(Show Context)
Citation Context ...ry. The book [14] is a good introduction to topos theory for those with a foundation in category theory. For an article relating the history of topos theory to notions of the foundations of sets, see =-=[15]-=-. 2 The author emphasises that the notion of topos was defined by Grothendieck as a replacement for the notion of topological space. Thus it was intrinsic to the definition that many different toposes... |

5 |
Some groups related to the symmetry of a directed graph
- Shrimpton
- 1991
(Show Context)
Citation Context ... Brown School of Mathematics University of Wales Bangor, Gwynedd LL57 1UT, U.K. 1 Symmetry in analogues of set theory This article gives background to and results of work of my student John Shrimpton =-=[18, 19, 20]-=-. It advertises the joining of two themes: groups and symmetry; and categorical methods and analogues of set theory. Groups are expected to be associated with symmetry. Klein's famous Erlanger Program... |

3 |
private communication
- Grothendieck
- 1985
(Show Context)
Citation Context ...local" means "at a given prime p", and "global" means "over the integers". His approach was also to take concepts seriously, recognising the effort required to "=-=;bring new 4 concepts out of the dark" ([7]-=-), and to spend a lot of effort in turning difficult results into a series of tautologies. As one other recent example, and an indication of a wide literature, the paper by Joyal and Street [8] illust... |

3 |
Cartesian closed categories of directed graphs
- Shrimpton
- 1988
(Show Context)
Citation Context ... Brown School of Mathematics University of Wales Bangor, Gwynedd LL57 1UT, U.K. 1 Symmetry in analogues of set theory This article gives background to and results of work of my student John Shrimpton =-=[18, 19, 20]-=-. It advertises the joining of two themes: groups and symmetry; and categorical methods and analogues of set theory. Groups are expected to be associated with symmetry. Klein's famous Erlanger Program... |

1 | Shrimpton and C.D.Wensley, `Graphs of morphisms of graphs', (in preparation - Al-Ali, Brown, et al. |

1 |
Algebraic structures on graphs, Alg
- Ribenboim
- 1983
(Show Context)
Citation Context ...roups (for example topological, Lie, algebraic, order, ...). Here we consider groups with the additional structure of a directed graph, which we abbreviate to graph. This type of structure appears in =-=[17, 13]. We -=-shall associate with a graph A a group AUT(A) which is also a graph. The vertices of AUT(A) are the automorphisms of the graph A and the edges between automorphisms give an expression of "adjacen... |

1 |
Categorical aspects of symmetry
- Shrimpton
- 1990
(Show Context)
Citation Context ... Brown School of Mathematics University of Wales Bangor, Gwynedd LL57 1UT, U.K. 1 Symmetry in analogues of set theory This article gives background to and results of work of my student John Shrimpton =-=[18, 19, 20]-=-. It advertises the joining of two themes: groups and symmetry; and categorical methods and analogues of set theory. Groups are expected to be associated with symmetry. Klein's famous Erlanger Program... |

1 | Graphs of morphisms of graphs’, (in preparation - Brown, Morris, et al. |

1 | Taking categories seriously’, Revista Columbiana de Matem ticas - Lawvere - 1986 |