Nottingham FP Lab Blog

The mu^2 iso (15/9/06)

by Thorsten on September 22, 2006.
Tagged as: Lunches.

I talked about the isomorphism $\mu X.\mu Y.F X Y \cong \mu X.F X X$ which occurs frequently and Conor contributed some interesting insights how to apply it to get the spine representation by division. More detail to follow as soon as I find some time.