diff --git a/doc/gpd.xml b/doc/gpd.xml index c152ce8..e139fa7 100644 --- a/doc/gpd.xml +++ b/doc/gpd.xml @@ -25,7 +25,7 @@ is the direct product of a group and a complete digraph, and so is determined by a set of objects obs = \Omega (the least of which is the root object), and a root group grp = G. -Then the elements of the groupoid are arrows g :return; o_1 \to o_2, +Then the elements of the groupoid are arrows g : o_1 \to o_2, stored as triples [g,o1,o2], where g \in G and o_1,o_2 \in \Omega. The objects will generally be chosen to be consecutive negative integers,