Just wanted to say thanks for this series of posts: they were really good fun! They were also extremely accessible: it was my first introduction to most of the mathematical structure you used, but I think I managed to follow along.