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

September 22nd, 2006 by Thorsten

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.

Leave a Reply