Categorical logic

In an even broader perspective, one might take category theory to be to the mathematics of the second half of the twentieth century, what measure theory was to the first half.

— Wikipedia on Categorical logic

2010.03.01 Monday ACHK