Someone seems to have already done all of the things that I was planning to do for my thesis. On learning this, I felt a strong urge to lock myself away somewhere and listen to heavy metal at very high volume, but lacking heavy metal I had to grit my teeth and sit through more lectures until the feeling passed. It is of course possible that I've ( Read more... )

[This is the abstract for a talk I'm giving in a couple of weeks at The Burn, which is a wonderful jolly for Scottish maths-PhD students. If you were totally confused by the paper from my last-but-one post, maybe this will help. The symbol ∈ is pronounced "in", and "x ∈ X" means that x is a member of the collection X. And a "category" can be ( Read more... )

My review of the 83rd Peripatetic Seminar on Sheaves and Logic, in rec.juggling HLGCB style:

High: Francis Borceux's seminar on synthetic differential geometry (constructing infinitesimals by replacing the topos of sets with something more fancy) or Tom's four-line definition of Lebesgue integration. Both seriously cool. And the dinner at Balbir ( ( Read more... )

Here is the written-up (and more cautious) version of the talk I'm giving tomorrow, at the 83rd Peripatetic Seminar on Sheaves and Logic. All comments very gratefully received, though I doubt I'll have time to read them before I give the talk.

[What, steerpikelet gets to post her essays and I don't? :-)]