I’m happy to announce the second revised edition of `Natural Topology´, which is available online at:
In the second edition, we have rectified some omissions and minor errors from the first edition. Notably the composition of natural morphisms has now been properly detailed, as well as the definition of (in)finite-product spaces. The bibliography has been updated (but remains quite incomplete). We changed the names ‘path morphism’ and ‘path space’ to ‘trail morphism’ and ‘trail space’, because the term ‘path space’ already has a well-used meaning in general topology.
On this day it is 100 years ago that Brouwer delivered his inaugural address `Intuitionism and Formalism´ (14 October 1912). It seems fitting to post on this day, since the book can be seen as a big tribute to Brouwer’s topological mastership, which he used in building intuitionistic mathematics. Brouwer’s work has permeated throughout topology, constructive mathematics, computer science and foundations, yet the Netherlands seem wary to acknowledge his genius (compared for instance to the Turing commemoration this year…).
Any and all comments have been and will be greatly appreciated.