runarorama: I should add that category theory initially comes out of work in algebraic topology. So computer science and topology are intricately linked - http://twitter.com/runaror...