Hi everyone.

I'm a software engineer, working these days on large server systems for large clients. In the past I worked on embedded systems.

I graduated in maths and physics about thirty-seven years ago. About twenty years ago I went back to university for an MSc in computer science.

Category theory keeps on coming to my attention: there is a passage in Zen and the Art of Motorcycle Maintenance where Persig recalls repeatedly seeing references to some important area and compares it to driving along a road and repeatedly seeing signposts to some town. The message you get from this is that that town, area of study, or whatever, just might be important or at least relevant.

I tend to find that real life gets in the way of continuing study but I really do intend to keep up with this one. A hard deadline of 25th September is going to help :-)

Hi! My introduction is here.

See http://667-per-cm.net

I used to read, and check for spam (look for Tim Porter back 5 years ago). I then have not been following up the Azimuth side in any active way but John's Applied category Theory course got me revising my old ideas on that stuff and so I am tagging along. I looks good so far.