Hi, everyone calls me Bat for short. I'm @bat020 on the internet. I studied pure maths for my undergraduate degree in the early 1990s, specialising in logic and set theory. I then spent 20 years as a journalist before quitting that career to become a software developer. Throughout that time I've kept up an amateur interest in maths, especially category theory. I'm also interested in philosophy, especially the "mathematical ontology" put forward by Alain Badiou – here's an article I wrote for a book of essays on his work published a few years ago: https://bat020.com/2014/03/26/sets-categories-and-topoi-approaches-to-ontology-in-badious-later-work/