Curry-Howard-Lambek-Marx correspondence

written by Alexandru-Sergiu Marton on 05 May 2022

If you have too much free time on your hands and need a (possibly stupid) idea to work on, consider extending the Curry-Howard-Lambek correspondence to include dialectical materialism.

I can’t wait to be able to counter the “It’s basic economics!” anti-communist argument with “It’s basic category theory!”.