Categorically Marxist

written on 2022-08-13 10:07:45 +0300 EEST

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!”.