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 Bearbeitungsskript? Vielleicht ist die Kategorie der Patches in PO-Sets angereichert?
- Ist das Zusammenführen von Patches das kategorische Pushout?
- Wie verallgemeinere ich das von Strings zu Bäumen (ein Dateisystem oder ein algebraischer Datentyp)?