> 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.