In Type Theory there is Rule: Every action is reversible.
There are 7 groups for 1d repeating pattern (Frieze groups).
- Group 1: only translations.
- Group 2: only glide reflection.
Why Cayley diagrams do not contain reversible action for these 2 groups? How can I get back to prev state? I suppose it is due to infinity...
Some other groups contain reversible action: