Universal category of files and patches

A Categorical Theory of Patches

We investigate the free completion of the category of files under finite colimits, and give an explicit description of this category : its objects are finite sets labeled by lines equipped with a transitive relation and morphisms are partial functions respecting labeling and relations.Version control, files, patches, free completion, finite colimits, transitive relations, partial functions.