At lunch today at Category Theory 2013 in Sydney, a bunch of us were talking about the mathematical work of Bertrand Russell, and I remembered this: It’s from Russell’s 1919 book Introduction to ...