実際、Gitブランチは「Hilbert空間の部分多様体をマッピングする同相内体関数」ですか？

誰もが知っているように：

ブランチがHilbert空間の部分多様体をマッピングする同相内体関数であることを理解すると、Gitはより簡単になります

これは専門用語のように見えますが、一方で、

つまり、XのモナドはXのエンドファンクターのカテゴリーのモノイドであり、積×はエンドファンクターの構成とアイデンティティエンドファンクターによって設定された単位に置き換えられます。

で、それは本当であるので面白いです。

この簡単なテキストを読むことで、間違いのマージを回避できますか？

モナドのジョークに基づいていますが、実際にはモナドのジョークを取得することはありません。

モナドのジョークは3つのレベルで面白いです：

1. それはさらに数学的な専門用語で抽象的な数学用語を説明しようとします。
2. ただし、説明は実際には正しい
3. そして、カテゴリー理論をさらに深く掘り下げると、実際にはモナドを「エンドファンクターのカテゴリーにおける単なるモノイド」と見なし始めるでしょう。

ただし、Gitのことは、ランダムで意味不明です。モナドのジョークに似ていることを意図しており、darcsパッチ理論のジャブかもしれませんが、基本的に、ジョークを作っている人はモナドのジョークを理解していませんでした。

ソース：

これは引用を含む元のツイートです：

Wil Shipley（@wilshipley）：私はgitが嫌いな甘い神。

Isaac Wolkerstorfer（@agnoster）：ブランチはヒルベルト空間の部分多様体を写像する同相内在性の内部ファンクターであるという基本的な考え方を理解すれば、@ wilshipley gitは簡単になります。

そして、これはつぶやきの原作者によってQuoraの上のコメントです：

レオが言ったことを確認するために、それは冗談として意図されました。[…]

それはしっかりと舌のように意図されていました。私は実際にgitが大好きで、その複雑さは非常に誇張されていると思います。同時に、git gurusから初心者へのアドバイスが、不可解な意味不明な言葉のように聞こえるという事実に共感しています。

より深い意味を持つことは意図されていません。[…]

レオ彼が参照しているがそれはナンセンスである理由を説明し、基本的には同じスレッド内の別の回答、数学者、です。（ヒルベルト空間は連続的で、パッチとブランチは離散的です。）

彼はまた彼が触発されたことを説明し、このブログの記事（空間的アナロジーを使用してGITにAガイド）実際には、ない意味をなします。

それは、冗談だ著者によって確認し、イェルクWミッタークの答えは、より詳細に説明しています。

しかし、真実はフィクションよりも奇妙かもしれません…

バージョン管理、特にDarcs（より人気のあるBazaar、Git、Mercurialよりも数年前に普及した分散バージョン管理システム）の基礎となっているDavid Roundyによるパッチ理論の形式化作業がありました。理論の主な目的は、マージ、特に競合の解決をモデル化することです。Darcsのwikiには理論といくつかのポインタを紹介しているだけでなく、参考文献（あなたが主題に関する最近のビューをしたい場合はメンテナンスされていないので古いが、それはリストを行いペトルBaudišによる2009年の調査紙）とのリスト会談（最新の資料が含まれます）。ウィキブックもあります。独創的な論文はAndresLöh、Wouter Swierstra、Daan Leijen3によるバージョン管理の原則的アプローチ。

パッチ理論は、カテゴリカルモデルにつながります。これは、最近ではSamuel MimramとCinzia Di Giustoによるパッチのカテゴリ理論と、Carlo Angiuli、Ed Morehouse、Daniel R. LicataおよびRobert Harperによるホモトピックパッチ理論で検討されています。MimramとDi Giustoの作品では、モデルにはオブジェクトとしてのファイルと、射としてのパッチがあります。これにより、ブランチのマージがファンクターになります。単一のリポジトリで作業している場合はエンドファンクターになります。「同相内視鏡機能」は私には意味がありません。そして、ホモトピー理論が関係します（微積分からの概念-それは多様体やヒルベルト空間のようなものを研究する数学の分野です-これは最近数学と呼ばれる基本的なモデルに適用されましたホモトピー型理論）、ヒルベルト空間の部分多様体はそれほど遠くないかもしれません...