Gibt es eine Kategorie von Patches, die ungefähr so aussieht: Die Objekte sind Zeichenfolgen in einem Basisalphabet Die Morphismen sind Bearbeitungsskripte ("diffs" oder "patches") zwischen den Strings Ich interessiere mich für folgende Fragen: Gibt es eine kategorische Vorstellung von minimalem...