ยง Git for pure mathematicians

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