Related papers: Classical field theory via Cohesive homotopy types
In this paper we present a unifying approach to study the homotopy type of several complexes arising from forests. We show that this method applies uniformly to many complexes that have been extensively studied.
We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…
This is the preliminary manuscript of a book on symplectic field theory based on a lecture course for PhD students given in 2015-16. It covers the essentials of the analytical theory of punctured pseudoholomorphic curves, taking the…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We investigate finite field extensions of the unital 3-field, consisting of the unit element alone, and find considerable differences to classical field theory. Furthermore, the structure of their automorphism groups is clarified and the…
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…
We construct some extension ({\it Stable Field Theory}) of Cohomological Field Theory. The Stable Field Theory is a system of homomorphisms to some vector spaces generated by spheres and disks with punctures. It is described by a formal…
In this thesis we study classical aspects of superconformal field theory via symmetry principles. Specifically, by employing the powerful setup of conformal superspace, we obtain a plethora of new results in the fields of geometric and…
We consider the coupling of quantum fields to classical gravity in the formalism of ensembles on configuration space, a model that allows a consistent formulation of interacting classical and quantum systems. Explicit calculations show that…
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be…
The multisymplectic description of Classical Field Theories is revisited, including its relation with the presymplectic formalism on the space of Cauchy data. Both descriptions allow us to give a complete scheme of classification of…
We review the status of (scalar) quantum field theory on curved spacetimes using a novel formulation in terms of non linear functionals over the smooth configuration fields. In particular, this entails also a new foundation of locally…
The ordinary formalism for classical field theory is applied to dynamical group field theories. Focusing first on a local group field theory over one copy of SU(2) and, then, on more involved nonlocal theories (colored and non colored)…
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.
In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss,…
We develop a homotopical variant of the classic notion of an algebraic theory as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral…
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been christened "homotopy type theory". In this…
An explicit Lorentz covariant formulation of the canonical theory for classical fields is established on a space-like hypersurface. Hamilton's equations and a Poisson bracket are defined on the space-like hypersurface. The Poisson bracket…