Classical Field Theory via Cohesive Homotopy Types

In the year 1900, at the International Congress of Mathematics in Paris, David Hilbert stated his famous list of 23 central open questions of mathematics [7]. Among them, the sixth problem (see [3] for a review) is arguably the one that Hilbert himself regarded as the most valuable: "From all the problems in the list, the sixth is the only one that continually engaged [Hilbert's] efforts over a very long period, at least between 1894 and 1932", see [4]. © 2015 Springer International Publishing Switzerland.