I just walked back home from Soma, the local coffee shop. Today is a cold day in Bloomington. I miss Cochin.

Spent most of the day brooding over over the fact that I have a lot of work to do which I am not doing because I am wasting my time brooding over it. Good ideas behave a lot like fear - in the right environment the fear is real and impossible to ignore. Category theory turns out to be an idea almost that good.

My category theory is acting up: It strikes me that many paradoxes can be explained away by the observation that there is no such thing as equality, the best you can have is isomorphism.