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.

comments powered by Disqus