实际上，Git分支是否是“映射Hilbert空间子流形的同胚内爆函数”？

众所周知：

一旦您了解分支是映射希尔伯特空间子流形的同胚endofunctors，Git就变得更容易

这似乎是行话，但另一方面，

总而言之，X中的单子仅是X的终结符类别中的一个单义词，乘积×由终结符的组成替换，单位由身份终结符设置。

之所以有趣是因为它是真的。

我可以通过阅读以下简单的文字来避免合并错误吗？

这是一个笑话，它是基于monad的笑话，但实际上并没有得到monad的笑话。

单子笑话在三个层面上很有趣：

1. 它试图用更多的数学术语来解释抽象的数学术语，这更加抽象
2. 但是，这个解释实际上是正确的
3. 一旦您深入研究范畴论，您实际上就会开始将monads视为“在endofunctors范畴中只是一个类人动物”

但是，Git只是乱码。它的意思类似于单子笑话，也可能是darcs补丁理论的嘲笑，但从根本上讲，开玩笑的人不理解单子笑话。

资料来源：

这是包含引号的原始推文：

Wil Shipley（@wilshipley）：甜蜜的上帝，我讨厌git。

Isaac Wolkerstorfer（@agnoster）：一旦您了解了分支是映射Hilbert空间子流形的同胚内爆函数的基本概念，@ wilshipley git就会变得更加容易。

而这是由鸣叫的原作者在Quora上评论：

为了证实狮子座所说的话，这是在开玩笑。[…]

它的意图是坚定地嘲弄自己。我实际上很喜欢git，我认为它的复杂性被夸大了。同时，我很同情git专家向新手提供的建议听起来像是难以理解的胡言乱语。

它无意具有更深的含义。[…]

他指的狮子座是同一主题中的另一个回答者，数学家，他基本上解释了为什么这是胡说八道。（希尔伯特空间是连续的，面块和分支是离散的。）

他还解释说，他受此博客文章（使用空间类比的GIT指南）的启发，实际上是有道理的。

这是一个笑话，因为由作者确认和约尔格W¯¯米塔格的回答更详细地解释。

但是事实可能比小说更陌生……

已经进行了形式化版本控制的工作，特别是David Roundy的补丁理论，这是Darcs的基础（一种分布式版本控制系统，在较流行的Bazaar，Git和Mercurial之前流行了两年，但从未普及）。该理论的主要目的是为合并建模，尤其是解决冲突。该的darcs维基具有介绍了理论和几个三分球，以及一个参考书目（没有维护这样过时的，如果你想关于这个问题的最新看法，但它确实列出一个由彼得·博迪2009年的调查纸）和列表会谈（其中包括最新资料）。还有一本Wikibook。一篇开创性的论文是AndresLöh，Wouter Swierstra和Daan Leijen3提出的一种版本控制原则方法。

补丁理论确实导致了分类模型，最近在Samuel Mimram和Cinzia Di Giusto 的《补丁分类理论》和Carlo Angiuli，Ed Morehouse，Daniel R. Licata和Robert Harper的同位补丁理论中进行了探索。在Mimram和Di Giusto的工作中，模型将文件作为对象，将小块作为态射。我认为这使得合并分支成为一个函子-如果您在单个存储库中工作，则是endofunctor。“同胚的终结者”对我来说没有意义。并涉及同伦理论（微积分的概念-这是研究流形和希尔伯特空间之类的数学分支-最近已应用于一种称为数学的基本模型同伦类型理论），希尔伯特空间的子流形可能不会那么遥远...