smart💡n RSS feed icon

Categorically Marxist

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

Recent posts