> Can category theory be used to formalize git operators?
> Because I have no idea what the git metaphor is all about.

In git you can revise history by typing `git push --force`

If you have coworkers who are working off of your code, this can be infuriating to them. It makes everything inconsistent.

This is like deleting posts as I had done.

This happened a few times to Jonathan in this thread - first John did it to John by deleting **Puzzle 122* and then I did it with my deleted post.