It looks like you're new here. If you want to get involved, click one of these buttons!
I am a software engineer working for an educational software company in Boston MA. I became interested in Category Theory reading the 'Homotopy Type Theory' book - and decided to investigate further. I like the idea of thinking differently from a 'set-ish' approach to mathematics. I am very grateful to John Baez for running this class. I'm doing this for the fun of it, and brain exercise, but also hopefully I'll have a new tool, and way of thinking about problems, that might be of use for a future project.