It isn't true. The claim that Git reduces to branches being endofunctors on submanifolds of Hilbert spaces is humorous.
After all, one thing I see was overlooked in the attempt to actually make sense out of it, looking at definitions, was that there is no notion of continuity in Git; but continuity is absolutely essential for homeomorphisms (except in graph theory: but that definition does not make sense here either). Nor is there a notion corresponding to the fundamental form of the Hilbert space. That said, some of the parallels are highly suggestive. But any mathematical description of the fundamentals of Git is going to have to rely primarily on discrete mathematics, NOT topology, differential geometry or functional analysis. On Monday, June 17, 2013 2:20:42 PM UTC-7, Philip Oakley wrote: > > ----- Original Message ----- > > *From:* Joe Cabezas <javascript:> > *To:* git-...@googlegroups.com <javascript:> > *Cc:* Eric Gorr <javascript:> > *Sent:* Monday, June 17, 2013 9:05 PM > *Subject:* Re: [git-users] Re: Humorous description of git > > oh god!, nice to see you have spare time philip! :D > > At the moment I'm off sick, coughing and spluttering, so this passes the > time... > Glad you liked it. Just need to read why a DAG==Hilbert Space now ;-) > > 2013/6/17 Philip Oakley <philip...@iee.org <javascript:>> > >> ** >> *homeomorphic = a one-to-one correspondence, continuous in both >> directions, between the points of two geometric figures or between two >> topological spaces. So I think that means if my SHA1 equals your SHA1 we >> have the same commit, so the same commit tree and DAG, all the way back to >> all the root commits.* >> ** >> *Endofunctor*: A functor that maps a category to itself. [commit links >> to -> maps to commit] http://en.wikipedia.org/wiki/Functor >> Mapping: a direct co-respondance between one item and another. (can be >> one way, like streets) >> >> submanifolds: *submanifold* of a >> manifold<http://en.wikipedia.org/wiki/Manifold> >> *M* is a subset <http://en.wikipedia.org/wiki/Subset> *S* which itself >> has the structure of a manifold, [Git is branches all the way down. No >> branch is special. These be branches, which link backwards and possibly >> join up with other branches at forks] >> >> [Manifold: a *manifold* is a topological >> space<http://en.wikipedia.org/wiki/Topological_space> >> that near each point resembles Euclidean >> space<http://en.wikipedia.org/wiki/Euclidean_space>. >> >> Topological means the mathematicians have bent it a bit, Euclidean means >> its it looks all straight with square corners again if you don't look too >> far, e.g. an exhaust manifold of an engine is effectively the same as a >> straight pipe] >> That is, lines of development are locally straight, no matter what the >> --graph option shows! >> >> A *Hilbert space* *H* is a real<https://en.wikipedia.org/wiki/Real_number> >> or complex <https://en.wikipedia.org/wiki/Complex_number> inner product >> space <https://en.wikipedia.org/wiki/Inner_product_space> that is also a >> complete >> metric space <https://en.wikipedia.org/wiki/Complete_metric_space> with >> respect to the distance function induced by the inner product. >> i.e. a 'space' and a 'product' (function between two items) (that measure >> a 'distance') that can 'completely' measure everywhere in the space. i.e. >> things add up properly and no wormholes in space. >> >> found "Every directed graph defines a Hilbert space ..." >> http://www.austms.org.au/Publ/Jamsa/V82P3/l112.html so it must be true. >> >> So it all sounds true and plausible. It means that many and various >> mathematical (and hence computer science) theories continue to be true in >> the general case and there are no nasty special cases as long as we stick >> with the basic git data model - long live those homeomorphic >> endofunctors mapping submanifolds of a Hilbert space! >> >> A bit more fun education, let it waft over you. >> >> Philip >> >> >> ----- Original Message ----- >> *From:* Eric Gorr <javascript:> >> *To:* git-...@googlegroups.com <javascript:> >> *Cc:* Philip Oakley <javascript:> >> *Sent:* Monday, June 17, 2013 11:42 AM >> *Subject:* Re: [git-users] Re: Humorous description of git >> >> I to would like to see a translation... >> >> On Monday, June 17, 2013 3:25:02 AM UTC-4, Philip Oakley wrote: >>> >>> But waht we need is the 'translation' as to why it's true ;) >>> >>> I see that homeomorphic = a one-to-one correspondence, continuous in >>> both directions, between the points of two geometric figures or between two >>> topological spaces. So I think that means if my SHA1 equals your SHA1 we >>> have the same commit tree and DAG. >>> >>> I'm guessing the sub-manifolds is about branches. >>> >>> Any more suggestions? >>> >>> Philip >>> >>> ----- Original Message ----- >>> *From:* Eric Gorr >>> *To:* git-...@googlegroups.com >>> *Sent:* Monday, June 17, 2013 2:40 AM >>> *Subject:* [git-users] Re: Humorous description of git >>> >>> Randomly came across it again...if anyone is interested... >>> >>> https://twitter.com/tabqwerty/**status/45611899953491968<https://twitter.com/tabqwerty/status/45611899953491968> >>> >>> "git gets easier once you get the basic idea that branches are >>> homeomorphic endofunctors mapping submanifolds of a Hilbert space." >>> >>> >>> >>> On Sunday, June 16, 2013 1:18:17 PM UTC-4, Eric Gorr wrote: >>>> >>>> Hello. Awhile ago, I came across a rather humorous description of git, >>>> but (a) I can't remember exactly how it went or (b) where I saw it. It >>>> described git a being a tesseract inside of a manifold or some such thing. >>>> Does this ring a bell with anyone? (I did find this >>>> http://tartley.com/?p=1267, but that isn't it...I believe it was part >>>> of some blog post tutorial.) >>>> >>>> >>>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Git for human beings" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to git-users+...@**googlegroups.com. >>> For more options, visit >>> https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_out> >>> . >>> >>> >>> >>> No virus found in this message. >>> Checked by AVG - www.avg.com >>> Version: 2013.0.3345 / Virus Database: 3199/6415 - Release Date: 06/16/13 >>> >>> ------------------------------ >> >> No virus found in this message. >> Checked by AVG - www.avg.com >> Version: 2013.0.3345 / Virus Database: 3199/6417 - Release Date: 06/16/13 >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Git for human beings" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to git-users+...@googlegroups.com <javascript:>. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> > > -- > You received this message because you are subscribed to the Google Groups > "Git for human beings" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to git-users+...@googlegroups.com <javascript:>. > For more options, visit https://groups.google.com/groups/opt_out. > > > > No virus found in this message. > Checked by AVG - www.avg.com > Version: 2013.0.3345 / Virus Database: 3199/6418 - Release Date: 06/17/13 > > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
