A Categorical Theory of Patches - 42Papers