Well it does. Since I started a burst of intense category theory reading a couple of weeks ago (not that intense as I have a full time job) I've been showing unpleasant symptoms. These include insomnia, lack of concentration and grumpiness. We're not just talking correlation here, I have causal mechanisms too: how can I sleep when an example of an adjunction might pop into my mind at any moment, how can I concentrate when my brain is already fully occupied in finding those examples, and of course I'm grumpy with all this effort to understand difficult theorems that always turn out to be trivial and content-free. Fortunately I find that drugs help with the insomnia, but there's no cure for the other symptoms.
At least I haven't reached the stage where I sit down to dinner wondering whether or not my eating it is an operation with a left or right adjoint. (But I thought it didn't I, so I must be pretty far gone.) And I'm not dreaming commutative diagrams yet.
So here's my advice: if someone comes up to you in a shady bar or alleyway and offers you a monad, or an adjunction, or even an innocent little natural transformation, just say "no!".
- ► 2011 (13)
- ► 2010 (20)
- ► 2009 (21)
- ► 2008 (35)
- ► 2007 (37)
- Quantum Probability
- A Neat Proof Technique
- The General Theory of Self-Reproducing Programs
- Stanislaw Lem has Passed Away
- The Most Amazing and Mysterious Thing in All of Ma...
- Sets, Classes and Voodoo
- The Representation of Integers by Quadratic Forms
- Category Theory Screws You Up!
- What can I do with adjoints? And Lemma 28.
- Answers and questions
- Homotopies between proofs and between programs
- Cellular automaton puzzle
- Coalgebras and Automata
- It's a square, square world!
- Blind Games
- When is one thing equal to some other thing?
- An Actual Application of Fractal Dimension
- A Cautionary Tale for Would-Be Generalisers
- ▼ March (20)