Sind Git-Zweige tatsächlich „homöomorphe Endofunktoren, die Untervielfaltigkeiten eines Hilbert-Raums abbilden“?

Wie wir alle wissen:

Git wird einfacher, wenn Sie verstehen, dass Zweige homöomorphe Endofunktoren sind, die Untervielfaltigkeiten eines Hilbert-Raums abbilden

Was wie Jargon scheint , aber auf der anderen Seite,

Insgesamt ist eine Monade in X nur ein Monoid in der Kategorie der Endofunktoren von X, wobei das Produkt × durch die Zusammensetzung der Endofunktoren und die vom Identitätsendofunktor festgelegte Einheit ersetzt wird.

ist lustig, weil es wahr ist .

Kann ich vermeiden, Fehler zusammenzuführen, indem ich diesen einfachen Text lese ?

Es ist ein Witz, der auf dem Monadenwitz basiert, aber ohne den Monadenwitz wirklich zu verstehen.

Der Monadenwitz ist auf drei Ebenen lustig:

1. es versucht, abstrakten mathematischen Jargon mit noch mehr mathematischem Jargon zu erklären, der noch abstrakter ist
2. Die Erklärung ist jedoch richtig
3. und wenn Sie tiefer in die Kategorietheorie eintauchen, werden Sie tatsächlich anfangen, Monaden als "nur ein Monoid in der Kategorie der Endofunktoren" zu betrachten.

Das Git-Ding ist jedoch nur zufälliges Kauderwelsch. Es soll dem Monadenwitz ähneln und könnte auch ein Stich in die Darcs-Patch-Theorie sein, aber im Grunde hat die Person, die den Witz gemacht hat, den Monadenwitz nicht verstanden.

Quellen:

Dies ist der Original-Tweet mit dem Zitat :

Wil Shipley (@wilshipley) : Süßer Gott, ich hasse Idioten.

Isaac Wolkerstorfer (@agnoster) : @wilshipley git wird einfacher, wenn Sie die Grundidee haben, dass Zweige homöomorphe Endofunktoren sind, die Untermanifalten eines Hilbert-Raums abbilden.

Und dies ist ein Kommentar zu Quora vom ursprünglichen Autor des Tweets :

Um zu bestätigen, was Leo sagte, war es als Witz gedacht. […]

Es war fest auf die Wange gerichtet. Eigentlich liebe ich Git, und ich denke, seine Komplexität ist stark übertrieben. Gleichzeitig bin ich mit der Tatsache einverstanden, dass Ratschläge von Git-Gurus an Anfänger wie unergründlicher Kauderwelsch klingen können.

Es soll keine tiefere Bedeutung haben. […]

Der Löwe, auf den er sich bezieht, ist ein weiterer Antwortender im selben Thread, ein Mathematiker, der im Grunde erklärt, warum das Unsinn ist. (Hilbert-Räume sind durchgehend, Flecken und Zweige sind diskret.)

Er erklärt auch , dass er inspiriert wurde diese Blog - Post (A Guide to GIT mit räumlichen Analogien) , die eigentlich macht Sinn.

Es ist ein Witz, wie der Autor bestätigt und Jörg W. Mittag ausführlicher erklärt.

Aber Wahrheit kann seltsamer sein als Fiktion ...

Die Versionskontrolle wurde formalisiert, insbesondere die Patch-Theorie von David Roundy, die die Grundlage für Darcs bildet (ein verteiltes Versionskontrollsystem, das dem populäreren Bazaar, Git und Mercurial einige Jahre vorausging, jedoch nie seine Popularität erreichte). Das Hauptziel der Theorie ist das Modellieren der Verschmelzung und insbesondere der Konfliktlösung. Das Darcs-Wiki enthält eine Einführung in die Theorie und einige Hinweise sowie eine Bibliographie (die nicht mehr aktuell ist, wenn Sie eine aktuelle Ansicht zu diesem Thema wünschen, aber eine Übersicht über das Jahr 2009 von Petr Baudiš enthält ) und eine Liste mit Vorträgen ( welches neueres Material enthält). Es gibt auch ein Wikibook . Eine wegweisende Arbeit istEin grundsätzlicher Ansatz zur Versionskontrolle von Andres Löh, Wouter Swierstra und Daan Leijen3 .

Die Patch-Theorie führt zu einem kategorialen Modell, das kürzlich in A Categorical Theory of Patches von Samuel Mimram und Cinzia Di Giusto sowie in Homotopical Patch Theory von Carlo Angiuli, Ed Morehouse, Daniel R. Licata und Robert Harper untersucht wurde . In der Arbeit von Mimram und Di Giusto enthält das Modell Dateien als Objekte und Patches als Morphismen. Ich denke, das macht das Zusammenführen eines Zweigs zu einem Functor - einem Endofunctor, wenn Sie in einem einzigen Repository arbeiten. "Homöomorpher Endofunktor" macht für mich keinen Sinn. Und in Bezug auf die Homotopietheorie (ein Konzept aus der Analysis - das ist der Zweig der Mathematik, der Dinge wie Mannigfaltigkeiten und Hilbert-Räume untersucht -, der kürzlich auf ein grundlegendes Modell der Mathematik namens angewendet wurde)Homotopietypentheorie ) sind Unterverteilungen eines Hilbert-Raums vielleicht nicht so weit entfernt ...