§ Git for pure mathematicians
git? It's not a version control system. It's an interface to work
with torsors. We have a space of files. We can manipulate "differences of
files", which are represented by patches/diffs.
git's model provides us tools
to work with this space of files.
We have two spaces, and a rooted DAG that connects to two spaces:
- A space of files.
- A space of diffs which forms a monoid with a monoid action on the space of files.
- A DAG where each node is a diff. The root note in the DAG is the empty diff.