This is the personal area of Urs Schreiber within the nLab.
I am interested in Hilbert's sixth problem. I am working on a circle of ideas that goes by the name
See there for survey, introduction, details and further links. Expositions, talk notes and lecture notes are listed here. For a list of published articles and of preprints on the subject see at subprojects.
Here is a list of links to lecture notes that I have prepared for various seminars or course that I organized and/or taught.
QVEST seminar on topology and geometry - Winter 2010, Spring 2011, Summer 2011, Autumn 2011
Herman Stel, ∞-Stacks and their function algebras , master thesis (August 2010)
Joost Nuiten, Bohrification of local nets of observables , bachelor thesis (Summer 2011)