Friends! I am returned from the 85th Peripatetic Seminar on Sheaves and Logic, which was held in balmy Nice. Well, the second day was held in balmy Nice - the first day was held in wet and slightly cold Nice. But we were inside talking about higher category theory, so that wasn't too much of a problem ( Read more... )

I'd intended to go to the 84th Peripatetic Seminar on Sheaves and Logic last weekend: however, what with getting my passport renewed (YOU HAVE A WEEK TO GET YOUR PASSPORT RENEWED BEFORE THE COST GOES UP AND THEY GET EVEN MORE INTRUSIVE! IT'S REALLY EASY IF YOU'VE ALREADY GOT A PASSPORT!) and general lameness (and the secretaries losing my request ( 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? :-)]