A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In 1900 David Hilbert published his famous list of 23 problems. The sixth of them-the axiomatization of Physics-remains partially unsolved. In this work we will give a gentle introduction and a brief review to one of the most recent and formal approaches to this problem, based on synthetic higher categorical languages. This approach, developed by Baez, Schreiber, Sati, Fiorenza, Freed, Lurie and many others, provides a formalization to the notion of classical field theory in terms of twisteddoi:10.5281/zenodo.4031161 fatcat:iw4rt5wesndelixelfmcwpwbiy