Hi, I'm not a mathematician (so pardon my n00b questions!), more of an armchair computer scientist. I'm mostly interested in category theory and what it has to say about programming.