/sci/ - Science & Math

It's that time of the month again:
>what are you researching?
>what are you studying?
>any good problems?
>book recommendations?
>cool theorems?

To get the ball rolling I've been doing some categorical logic, namely reading about the Curry-Howard-Lambek correspondence, focusing on Lambek's side of work. Essentially we have an isomorphism of a certain sort of category (cartesian-closed categories), a limited version of intuitionist logic, and typed lambda calculus. Essentially you get a "proofs as types" relation from the Curry-Howard, but adding Lambek's work you get categories also!

Also been reviewing Milnor's topology from a diff. viewpoint before I head back into differential topology.