Skip to content

Commit

Permalink
removed accidental typo
Browse files Browse the repository at this point in the history
  • Loading branch information
cdwensley committed Apr 4, 2024
1 parent 57b71c5 commit 398135f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/gpd.xml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ is the direct product of a group and a complete digraph,
and so is determined by a set of <E>objects</E> <C>obs</C> <M>= \Omega</M>
(the least of which is the <E>root object</E>),
and a <E>root group</E> <C>grp</C> <M>= G</M>.
Then the elements of the groupoid are <E>arrows</E> <M>g :return; o_1 \to o_2</M>,
Then the elements of the groupoid are <E>arrows</E> <M>g : o_1 \to o_2</M>,
stored as triples <C>[g,o1,o2]</C>, where <M>g \in G</M>
and <M>o_1,o_2 \in \Omega</M>.
The objects will generally be chosen to be consecutive negative integers,
Expand Down

0 comments on commit 398135f

Please sign in to comment.