Related papers: Eliminating reversals from cubical type theories
Global symmetries can be generalised to transformations generated by topological operators, including cases in which the topological operator does not have an inverse. A family of such topological operators are intimately related to…
We study a class of left-invertible operators which we call weakly concave operators. It includes the class of concave operators and some subclasses of expansive strict $m$-isometries with $m > 2$. We prove a Wold-type decomposition for…
The Separation of Variables theory for the Hamilton-Jacobi equation is 'by definition' related to the use of special kinds of coordinates, for example Jacobi coordinates on the ellipsoid or St\"ackel systems in the Euclidean space. However,…
In this paper we study natural reconfiguration spaces associated to the problem of distributing a fixed number of resources to labeled nodes of a tree network, so that no node is left empty. These spaces turn out to be cubical complexes,…
An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an…
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
The focus of this PhD thesis is on applications, new developments and extensions of the noncommutative gravity theory proposed by Julius Wess and his group. In part one we propose an extension of the usual symmetry reduction procedure to…
We develop a general framework for working with structured lifting problems, establishing closure and uniqueness properties of their solutions. In a subsequent paper, we apply these results to axiomatize computation rules of cubical type…
For area-preserving H\'enon-like maps and their compositions, we consider smooth perturbations that keep the reversibility of the initial maps but destroy their conservativity. For constructing such perturbations, we use two methods, the…
A new hierarchy of operads over the linear spans of $\delta$-cliffs, which are some words of integers, is introduced. These operads are intended to be analogues of the operad of permutations, also known as the associative symmetric operad.…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
Following the centuries old concept of the quantization of flux through a Gaussian curvature (Euler characteristic) and its successive dispersal into various condensed matter properties such as quantum Hall effect, and topological…
A piecewise constant curvature manifold is a triangulated manifold that is assigned a geometry by specifying lengths of edges and stipulating that for a chosen background geometry (Euclidean, hyperbolic, or spherical), each simplex has an…
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…
Density operators are one of the key ingredients of quantum theory. They can be constructed in two ways: via a convex sum of `doubled kets' (i.e. mixing), and by tracing out part of a `doubled' two-system ket (i.e. dilation). Both…
The so-called Takahashi's \emph{Inversion Theorem}, the reconstruction of a given spinor based on its bilinear covariants, are re-examined, considering alternative dual structures. In contrast to the classical results, where the Dirac dual…
We extend and develop a method for perturbative calculations of anomalous dimensions and mixing matrices of leading twist conformal primary operators in conformal field theories. Such operators lie on the unitarity bound and hence are…
Twisting and classical background fields are two foundational techniques in supersymmetric quantum field theory, central to developments ranging from the Higgs mechanism to topological twisting and supersymmetric localisation. While…
We consider an inverse variational problem for the lines of constant curvature in (pseudo-)Euclidean two-, three-, and four-dimensional spaces. The accumulated results are physically meaningful in the case of relativistic mechanics of…
We investigate homeomorphisms of a compact interval, applied randomly. We consider this system as a skew product with the two-sided Bernoulli shift in the base. If on the open interval there is a metric in which almost all maps are…