Related papers: Cubical Type Theoretic Navya-Ny\=aya
Type theory can be described as a generalised algebraic theory. This automatically gives a notion of model and the existence of the syntax as the initial model, which is a quotient inductive-inductive type. Algebraic definitions of type…
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their…
Two-dimensional conformal field theory (CFT) has several sources: the search for simple examples of quantum field theory, the description of surface critical phenomena, the study of (super)string vacua. In the present overview of the…
Some mathematical questions relating to Coset Conformal Field Theories (CFT) are considered in the framework of Algebraic Quantum Field Theory as developed previously by us. We consider the issue of fixed point resolution in the diagonal…
The Yang-Baxter $\sigma$-model is a systematic way to generate integrable deformations of AdS$_5\times$S$^5$. We recast the deformations as seen by open strings, where the metric is undeformed AdS$_5\times$S$^5$ with constant string…
A lot of developments made during the last years show that Kac-Moody algebras play an important role in the algebraic structure of some supergravity theories. These algebras would generate infinite-dimensional symmetry groups. The possible…
We show that under certain boundedness condition, a $C^{r}$ conservative irrational pseudo-rotations on $\mathbb{T}^2$ with a generic rotation vector is $C^{r-1}$-rigid. We also obtain $C^0$-rigidity for H\"older pseudo-rotations with…
We consider the close relation between duality in N=2 SUSY gauge theories and integrable models. Various integrable models ranging from Toda lattices, Calogero models, spinning tops, and spin chains are related to the quantum moduli space…
We discuss the existence of $\theta$-vacua in pure Yang-Mills theory in two space-time dimensions. More precisely, a procedure is given which allows one to classify the distinct quantum theories possessing the same classical limit for an…
A fundamental problem in contemporary string/M theory is to count the number of inequivalent vacua satisfying constraints in a string theory model. This article contains the first rigorous results on the number and distribution of…
We present the system $\mathtt{d}$, an extended type system with lambda-typed lambda-expressions. It is related to type systems originating from the Automath project. $\mathtt{d}$ extends existing lambda-typed systems by an existential…
Nakano's later modality can be used to specify and define recursive functions which are causal or synchronous; in concert with a notion of clock variable, it is possible to also capture the broader class of productive (co)programs. Until…
Classical nucleation theory (CNT) is built upon the capillarity approximation, i.e., the assumption that the nucleation properties can be inferred from the bulk properties of the melt and the crystal. Although CNT's simplicity and…
We propose an effective conformal field theory (CFT) description of steady state incompressible fluid turbulence at the inertial range of scales in any number of spatial dimensions. We derive a KPZ-type equation for the anomalous scaling of…
Higher homological algebra was introduced by Iyama. It is also known as $n$-homological algebra where $n \geq 2$ is a fixed integer, and it deals with $n$-cluster tilting subcategories of abelian categories. All short exact sequences in…
We derive non-abelian Toda field theories (NATFTs) from a 4d Chern-Simons (CS) theory with two order defects by employing a certain asymptotic boundary condition. The 4d CS theory is characterized by a meromorphic 1-form $\omega$\,. We…
A series of sigma models with torsion are analysed which generate their mass dynamically but whose ultra-violet fixed points are non-trivial conformal field theories -- in fact SU(2) WZW models at level $k$. In contrast to the more familiar…
This paper discusses the development of synthetic cohomology in Homotopy Type Theory (HoTT), as well as its computer formalisation. The objectives of this paper are (1) to generalise previous work on integral cohomology in HoTT by the…
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.…
Toda Conformal Field Theories (CFTs hereafter) are generalizations of Liouville CFT where the underlying field is no longer scalar but takes values in a finite-dimensional vector space induced by a complex simple Lie algebra. The goal of…