Corpus ID: 225449723

Towards An Approach to Hilbert's Sixth Problem: A Brief Review

  title={Towards An Approach to Hilbert's Sixth Problem: A Brief Review},
  author={Yuri Ximenes Martins and Rodney Josu{\'e} Biezuner},
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 twisted… Expand

Tables from this paper


Foundations of Mathematics and Physics One Century After Hilbert: New Perspectives
  • J. Baez
  • Mathematics, Physics
  • Notices of the American Mathematical Society
  • 2019
The title of this book recalls Hilbert’s attempts to provide foundations for mathematics and physics, and raises the question of how far we have come since then—and what we should do now. This is aExpand
Cohomological physics is a phrase I introduced sometime ago in the context of anomalies in gauge theory, but it all began with Gauss in 1833, if not sooner (cf. Kirchoff’s laws, as Nash’s “TopologyExpand
The purpose of this note is to describe the homotopy-theoretic version of sheaf theory developed in the work of Thomason [14] and Jardine [7, 8, 9]; a few enhancements are provided here and there,Expand
Geometric Obstructions on Gravity
These are notes for a short course and some talks gave at Departament of Mathematics and at Departament of Physics of Federal University of Minas Gerais, based on the author's paper arXiv:1808.09249.Expand
Topological and geometric obstructions on Einstein–Hilbert–Palatini theories
Abstract In this article we introduce A -valued Einstein–Hilbert–Palatini functional ( A -EHP) over a n -manifold M , where A is an arbitrary graded algebra, as a generalization of the functionalExpand
Homological Mirror Symmetry: New Developments and Perspectives
Homological Mirror Symmetry, the study of dualities of certain quantum field theories in a mathematically rigorous form, has developed into a flourishing subject on its own over the past years. TheExpand
Algebraic Quantum Field Theory
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of variousExpand
Frobenius Algebras and 2-D Topological Quantum Field Theories
This 2003 book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to commutative Frobenius algebras. The preciseExpand
On Maximal, Universal and Complete Extensions of Yang-Mills-Type Theories
In this paper we continue the program on the classification of extensions of the Standard Model of Particle Physics started in arXiv:2007.01660. We propose four complementary questions to beExpand
Stacks and their function algebras.
For T any abelian Lawvere theory, we establish a Quillen adjunction between model category structures on cosimplicial T -algebras and on simplicial presheaves over duals of T -algebras, whose leftExpand