Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
as you may have seen in the logs, I am working on an entry Higher toposes of laws of motion, something like extended talk notes.
I am running a bit out of time, and so the entry is unpolished and turns into just a list of keywords towards the end, for the moment. But in case anyone is wondering about the logs, here is the announcement.
Don’t look at this yet if you feel like just reading. Of course if you feel like joining in with the editing a bit, that’s welcome, as usual.
Fix some typos.
I don’t know about
To promote this success…
Sounds a bit funny, as though Hilbert knew that to inspire himself 15 years later he had to formulate a problem and read it out at an International conference in 1900.
Maybe instead
To promote success of this kind…Hilbert’s 6th problem had asked…
Then
Since then a list of such axiomatizations has been found..
Hadn’t symplectic geometry for classical mechanics already been found in the 19th century?
Thanks, right.
I have edited the whole entry a bit more.
Now pretty much all the material is in place that I intended. But it still deserves to be polished further, of course.
I have given essentially the first half of these notes as a talk today at the Eighth Scottish Category Theory Seminar and hinted at some of the stuff in the second half in the question session.
There was a certain public demand expressed to make these notes available.
But having flown to Edinburgh this morning, getting up at 3.30 am, and now back the same day, being stuck in Amsterdam almost 24 hours later now I now feel a bit destroyed and will leave it the way it is for tonight.
1 to 3 of 3