#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Introduction: Desmond Sheeran

in Chat

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.

Comment Source:Welcome, Desmond! I went to grad school in Cambridge, but more importantly that's where [Brendan Fong](http://www.brendanfong.com/) and [David Spivak](http://math.mit.edu/~dspivak/informatics/), the authors of our textbook, work - at MIT! The book is based on an course they taught there in January. David Spivak also helps run a software company in Cambridge, [Categorical Informatics](http://catinf.com/). So, you might try to get in contact with these folks. You might enjoy also this conversation here on the Azimuth Forum: * [Categories for the Working Hacker: a Discussion Group](https://forum.azimuthproject.org/discussion/1782/categories-for-the-working-hacker-a-discussion-group/p1). I hope you post lots of comments and questions! See you around!