Related papers: Classical field theory via Cohesive homotopy types
We define a Hopf cyclic (co)homology theory in an arbitrary symmetric strict monoidal category. Thus we unify all different types of Hopf cyclic (co)homologies under one single universal theory. We recover Hopf cyclic (co)homology of module…
We introduce a formalism for constructing cohomological field theories (CohFT) out of nonlinear PDEs based on the first author's previous work (arXiv:2202.12425). We apply the formalism to the generalized Seiberg-Witten equations and show…
These notes offer a lightening introduction to topological quantum field theory in its functorial axiomatisation, assuming no or little prior exposure. We lay some emphasis on the connection between the path integral motivation and the…
These notes arose from three lectures on fusion system I gave at the University of Valencia in February 2023. We first consider fusion phenomena in classical group theory. Then we develop the abstract theory of fusion systems. Finally…
Quantum fields with large degeneracy are often approximated as classical fields. Here, we show how quantum and classical evolution of a highly degenerate quantum field with repulsive contact self-interactions differ from each other.…
Homotopy algebra and its involutive generalisation plays an important role in the construction of string field theory. I will review recent progress in these applications of homotopy algebra and its relation to moduli spaces.
Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing…
We consider the problem of quantum-classical correspondence in integrable field theories. We propose a method to construct a field theoretical coherent state, in which the expectation value of the quantum field operator exactly coincides…
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the construction of the Atiyah-Hirzebruch and Serre spectral…
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…
A general method of producing correspondences and spectral categories out of symmetric ring objects in general categories is given. As an application, stable homotopy theory of spectra $SH$ is recovered from modules over a commutative…
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…
Complex systems are composed of many particles or agents that move and interact with one another. The underlying mathematical framework to model many of these systems must incorporate the spatial transport of particles and their…
It is noted that the Legendre transformations in the standard formulation of quantum field theory have the form of functional Clairaut-type equations. It is shown that in presence of composite fields the Clairaut-type form holds after loop…
Recently, M. de Le\'on el al. ([8]) have developed a geometrical description of Hamilton-Jacobi theory for multisymplectic field theory. In our paper we analyse in the same spirit a special kind of field theories which are gauge field…
We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions…
Semiclassical Hamiltonian field theory is investigated from the axiomatic point of view. A notion of a semiclassical state is introduced. An "elementary" semiclassical state is specified by a set of classical field configuration and quantum…
There have been several attempts in recent years to extend the notions of symplectic and Poisson structures in order to create a suitable geometrical framework for classical field theories, trying to achieve a success similar to the use of…
A manifestly covariant formulation of quantum field Maslov complex-WKB theory (semiclassical field theory) is investigated for the case of scalar field. The main object of the theory is "semiclassical bundle". Its base is the set of all…