Descent theory

[pozorvlak]

I've just been looking at the Mathematics Genealogy Project. Guess who I'm descended from by chains of supervisors?

Alan Turing. That's who! Cool, eh?

[and Alonzo Church, Poisson and Lagrange, but it's Turing I'm happiest about]
Operad workshop continues fine. Skiing skills mostly still there. Will report later.