Just a little bit of eta goes a long way

L[a,x,b] A[u,x,a] <–eta–> Arrow[u,b] loop

Example: from this post

L[a,x,b] A[b,x,a] <–eta–>

Arrow[b,b] loop <–comb–>

loop loop

or

L[a,x,b] A[b,x,a] <–beta–>

Arrow[a,a] Arrow[x,x] <–2comb–>

loop loop

Then why not

L[a,x,b] A[u,y,a] <–eta–> Arrow[u,b] Arrow[x,y]

which is exactly alike the FAN-IN

FO[a,x,b] FI[u,y,a] <–FAN-IN–> Arrow[u,b] Arrow[x,y]

Taking this seriously, the beta move should have a hidden companion

FO[a,x,b] FI[b,y,c] <–betahide–> Arrow[y,x] Arrow[a,c]

… which brings us to a symmetrized version of chemlambda which is very close to the interaction nets of Yves Lafont.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s