Apakah cabang Git, pada kenyataannya, "endofunctors homeomorfik memetakan sub-manifold ruang Hilbert"?

Seperti kita ketahui:

Git semakin mudah setelah Anda memahami bahwa cabang adalah endofunctor homeomorfis yang memetakan sub-manifold ruang Hilbert

Yang tampaknya seperti jargon, tetapi di sisi lain,

Semua mengatakan, monad dalam X hanyalah monoid dalam kategori endofunctor X, dengan produk × digantikan oleh komposisi endofunctor dan unit yang ditetapkan oleh endofunctor identitas.

itu lucu karena itu benar .

Bisakah saya menghindari kesalahan penggabungan dengan membaca teks sederhana ini ?

Ini lelucon, yang didasarkan pada lelucon monad, tetapi tanpa benar-benar mendapatkan lelucon monad.

Lelucon monad lucu di tiga tingkat:

1. ia mencoba menjelaskan jargon matematis abstrak dengan jargon matematis yang lebih, yang bahkan lebih abstrak
2. Namun, penjelasannya sebenarnya benar
3. dan begitu Anda menyelam lebih dalam ke teori kategori, Anda akan benar-benar mulai melihat monad sebagai "hanya monoid dalam kategori endofunctors"

Namun, masalah Git hanyalah omong kosong acak. Ini dimaksudkan untuk menyerupai lelucon monad, dan mungkin juga menjadi pukulan pada teori patch darcs, tetapi pada dasarnya, orang yang membuat lelucon itu tidak mengerti lelucon monad.

Sumber:

Ini adalah tweet asli yang berisi kutipan :

Wil Shipley (@wilshipley) : Dewa manis, aku benci git.

Isaac Wolkerstorfer (@agnoster) : @wilshipley git semakin mudah setelah Anda mendapatkan gagasan dasar bahwa cabang adalah endofunctors homeomorfik yang memetakan sub-manifold dari ruang Hilbert.

Dan ini adalah komentar tentang Quora oleh penulis asli tweet :

Untuk mengkonfirmasi apa yang dikatakan Leo, itu dimaksudkan sebagai lelucon. [...]

Itu dimaksudkan sebagai lidah-di-pipi tegas. Saya sebenarnya suka git, dan saya pikir kompleksitasnya sangat berlebihan. Pada saat yang sama, saya bersimpati pada kenyataan bahwa saran dari git gurus kepada pemula dapat berakhir seperti omong kosong yang tidak dapat dipahami.

Itu tidak dimaksudkan untuk memiliki makna yang lebih dalam. [...]

The Leo ia maksudkan adalah penjawab lain di thread yang sama, seorang ahli matematika, yang pada dasarnya menjelaskan mengapa yang omong kosong. (Ruang Hilbert kontinu, tambalan dan cabang terpisah.)

Dia juga menjelaskan bahwa ia terinspirasi oleh posting blog ini (A Guide to GIT menggunakan analogi spasial) , yang sebenarnya tidak masuk akal.

Ini lelucon, seperti yang dikonfirmasi oleh penulis dan jawaban Jörg W Mittag menjelaskan lebih detail.

Tapi kebenaran bisa lebih aneh daripada fiksi ...

Telah ada pekerjaan memformalkan kontrol versi, khususnya teori patch oleh David Roundy yang merupakan dasar dari Darcs (sistem kontrol versi terdistribusi yang mendahului Bazaar, Git dan Mercurial yang lebih populer selama beberapa tahun tetapi tidak pernah mencapai popularitasnya). Tujuan utama dari teori ini adalah untuk memodelkan penggabungan dan, khususnya, penyelesaian konflik. The Darcs wiki memiliki pengenalan teori dan beberapa petunjuk serta bibliografi (terawat sehingga usang jika Anda ingin melihat baru-baru ini pada subjek, tetapi tidak daftar kertas survei 2009 oleh Petr Baudis ) dan daftar pembicaraan ( yang mencakup materi yang lebih baru). Ada juga wikibook . Satu kertas mani adalahPendekatan Prinsip untuk Kontrol Versi oleh Andres Löh, Wouter Swierstra dan Daan Leijen3 .

Teori patch memang mengarah ke model kategorikal, yang baru-baru ini dieksplorasi dalam A Categorical Theory of Patches oleh Samuel Mimram dan Cinzia Di Giusto dan Homotopical Patch Theory oleh Carlo Angiuli, Ed Morehouse, Daniel R. Licata dan Robert Harper . Dalam karya Mimram dan Di Giusto, model memiliki file sebagai objek dan tambalan sebagai morfisme. Saya pikir itu membuat menggabungkan cabang sebagai functor - endofunctor jika Anda bekerja di repositori tunggal. "Homeomorphic endofunctor" tidak masuk akal bagi saya. Dan dengan melibatkan teori homotopy (konsep dari kalkulus - itulah cabang matematika yang mempelajari hal-hal seperti manifold dan ruang Hilbert - yang baru-baru ini diterapkan pada model dasar matematika yang disebutteori tipe homotopy ), submanifold dari ruang Hilbert mungkin tidak terlalu jauh ...