Log in

No account? Create an account
Had a really interesting mini-breakthrough thinking about that… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Feb. 24th, 2016|09:21 pm]
[Tags|, ]

Had a really interesting mini-breakthrough thinking about that planar-map-lambda calculus correspondence that I've been obsessed with for the past couple weeks:

When you pick the correct ordering-convention (I'd been working with the "wrong" one, at least for this purpose) you can manipulate normal terms into the image of the usual trinity embedding of general-valency planar maps into trivalent planar maps:

From: eub
2016-02-28 08:24 am (UTC)
(These are purty, but could you lj-cut the wide ones? I don't know if anyone else still uses a friends page style that gets over-widened by wide images, but I still do.)
(Reply) (Thread)
[User Picture]From: jcreed
2016-02-28 02:13 pm (UTC)
Yeah I think my friendspage-style automatically resizes them so I didn't notice. Sorry! If I set the widths manually like I did just now, does that fix it for you?
(Reply) (Parent) (Thread)
From: eub
2016-03-01 07:55 am (UTC)
(Reply) (Parent) (Thread)