Related papers: Classical field theory via Cohesive homotopy types
Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…
The field of directed type theory seeks to design type theories capable of reasoning synthetically about (higher) categories, by generalizing the symmetric identity types of Martin-L\"of Type Theory to asymmetric hom-types. We articulate…
This work presents a comprehensive overview of three recently developed geometric frameworks for the study of classical action-dependent field theories. Specifically, the three underlying geometric structures - namely, k-contact,…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
Covariant (polysymplectic) Hamiltonian field theory is formulated as a particular Lagrangian theory on a polysymplectic phase space that enables one to quantize it in the framework of familiar quantum field theory.
The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into…
The emergence of preferred classical variables within a many-body wavefunction is encoded in its entanglement structure in the form of redundant classical information shared between many spatially local subsystems. We show how such…
These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in…
Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This…
This paper proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the…
Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…
In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This…
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of…
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…
I briefly review some of the recent progress in quantum field theory in curved spacetime and other aspects of semiclassical gravity, as reported at the D3 Workshop at GR15.
We discuss the relation between symmetries and conservation laws in the realm of classical field theories based on the Hamiltonian constraint. In this approach, spacetime positions and field values are treated on equal footing, and a…
We present a general classification of Hamiltonian multivector fields and of Poisson forms on the extended multiphase space appearing in the geometric formulation of first order classical field theories. This is a prerequisite for computing…
We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…
We construct a field theory to describe energy averaged quantum statistical properties of systems which are chaotic in their classical limit. An expression for the generating function of general statistical correlators is presented in the…
We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be…