Home > Uncategorized > Dual of the graphic beta move implies some Reidemeister moves

## Dual of the graphic beta move implies some Reidemeister moves

For the extended beta move see the dedicated tag.  See also the tutorial “Introduction to graphic lambda calculus“.

The extended beta move is still in beta version. In this post I want to explore some consequences of the dual of the graphic beta move.

I proved earlier the the extended beta move is equivalent with the pair (graphic beta move, dual of the graphic beta move), let me recall this pair in the following picture.

Here are some particular applications of the dual of the graphic beta move. The first is this:

But this is equivalent with the emergent algebra move R1a (via a CO-COMM move).  Likewise, another application of of the dual of the graphic beta move is this:

which is the same as   the emergent algebra move R2a.

The third application is this one:

and it was discussed in the post “Second thoughts on the dual of the extended beta move“, go there to see if this move may be interpreted as a pruning move (or an elimination of loops).

Finally, there is also this:

which was not mentioned before. It suggests that

behaves like the generic point in algebraic geometry.

1. December 30, 2012 at 12:48 pm | #1

Forgive my lack of knowledge of the names of the objects. The same self-loop but reversed and with one arrow pointed in, the one labeled with a Lambda, would be the dual of the one that you describe as “behaves like the generic point in algebraic geometry”

• December 30, 2012 at 12:50 pm | #2

I don’t know why, but again I cannot access your link. You might just mail it to me and I shall edit your comment.

2. December 30, 2012 at 7:32 pm | #3

Now I understood! Yes, the dual is the “I” combinator, the one at left in this picture.

Sauropod Vertebra Picture of the Week #AcademicSpring

SV-POW! ... All sauropod vertebrae, except when we're talking about Open Access

Science to Grok

computing with space

isomorphismes

computing with space

Retraction Watch

Tracking retractions as a window into the scientific process

Shtetl-Optimized

computing with space

Not Even Wrong

computing with space

Theoretical Atlas

He had bought a large map representing the sea, / Without the least vestige of land: / And the crew were much pleased when they found it to be / A map they could all understand.

Gödel's Lost Letter and P=NP

a personal view of the theory of computation

Gowers's Weblog

Mathematics related discussions

Research and Lecture notes

by Fabrice Baudoin

Calculus VII

being boring

The "Putnam Program"

Language & Brains, Machines & Minds

What's new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao