Related papers: Classical field theory via Cohesive homotopy types
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
A unification of characteristic mode decomposition for all method-of-moment formulations of field integral equations describing free-space scattering is derived. The work is based on an algebraic link between impedance and transition…
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…
A generalization of the action principle of classical mechanics, motivated by the Closed Time Path (CTP) scheme of quantum field theory, is presented to deal with initial condition problems and dissipative forces. The similarities of the…
A bivertical classical field theory include the Newtonian mechanics and Maxwell's electromagnetic field theory as the special cases. This unification allows to recognize the formal analogies among the notions of Newtonian mechanics and…
We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely…
In this article we inspect the dynamics of classical field theories with a local conformal behavior. Our interest in the multisymplectic setting comes from its suitable description of field theories, and the conformal character has been…
A method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological…
We introduce an abstract concept of quantum field theory on categories fibered in groupoids over the category of spacetimes. This provides us with a general and flexible framework to study quantum field theories defined on spacetimes with…
We summarize some of the main ideas and results around symplectic field theory, from its early inception up to recent and ongoing developments.
I construct a global version of the local polysymplectic approach to covariant Hamiltonian field theory pioneered by C. Gunther. Beginning with the geometric framework of the theory, I specialize to vertical vector fields to construct the…
We revisit the existence, background independence and uniqueness of closed, open and open-closed bosonic- and topological string field theory, using the machinery of homotopy algebra. In a theory of classical open- and closed strings, the…
These notes explore some aspects of formal derived geometry related to classical field theory. One goal is to explain how many important classical field theories in physics -- such as supersymmetric gauge theories and supersymmetric…
Jet formalism provides the adequate mathematical formulation of classical field theory, reviewed in hep-th/0612182v1. A formulation of QFT compatible with this classical one is discussed. We are based on the fact that an algebra of…
The existing field theories are based on the properties of closed exterior forms, which are invariant ones and correspond to conservation laws for physical fields. Hence, to understand the foundations of field theories and their unity, one…
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more…
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…
We construct a version of Dijkgraaf-Witten theory based on a compact abelian Lie group within the formalism of Turaev's homotopy quantum field theory. As an application we show that the 2+1-dimensional theory based on U(1) classifies lens…
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not…