Related papers: General 2-Dimensional Adjunctions, Universal Monad…
We propose a natural generalization of a conjecture by Garsia, originally concerning the realization of conformal classes of genus-1 surfaces via embeddings in three-dimensional Euclidean space. This generalized conjecture is formulated…
We apply CGHS-type dilaton gravity model to (1+1)-dimensional cosmological situations. First the behavior of a compact 1-dimensional universe (i.e. like a closed string) is classified on the assumption of homogeneity of universe. Several…
Codensity monads provide a universal method to generate complex monads from simple functors. Recently, a wide range of important monads in logic, denotational semantics, and probabilistic computation, such as several incarnations of the…
Symmetry under a particular class of non-strictly canonical transformation may be used to identify, and subsequently excise degrees of freedom which do not contribute to the closure of the algebra of dynamical observables. Such redundant…
In an earlier paper we studied the infinite-dimensional symmetries of symmetric-space sigma models (SSMs) in a flat two-dimensional spacetime. Here, we extend our investigation to the case of two-dimensional SSMs coupled to gravity. These…
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…
Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…
Recently the first example of a unitary theory of Lorentz-invariant massive gravity allowing for stable self-accelerating de Sitter solutions was found, extending the quasidilaton theory. In this paper we further generalize this new action…
General potential theories concern the study of functions which are subharmonic with respect to a suitable constraint set (called a subequation) in the space of 2-jets. While interesting in their own right, general potential theories are…
Lie derivatives of various geometrical and physical quantities define symmetries and conformal symmetries in general relativity. Thus we obtain motions, collineations, conformal motions and conformal collineations. These symmetries are used…
This article is part of an ongoing investigation of the two-dimensional Jacobian conjecture. In the first paper of this series, we proved the generalized Magnus' formula. In this paper, inspired by cluster algebras, we introduce a sequence…
It is shown that electro (magneto) static sector of Maxwell's electrodynamics coupled to the dilaton field in a string theory form possesses the symmetry group of the stationary General Relativity in vacuum. Performing the Ernst formalism,…
We generalize to dimension 2 the well-known fact that a colimit in a 1-dimensional slice is precisely the map from the colimit of the domains of the diagram that is induced by the universal property. For this, we find the need to reduce…
Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between…
We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy…
Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…
We introduce bi-galileon theory, the generalisation of the single galileon model introduced by Nicolis et al. The theory contains two coupled scalar fields and is described by a Lagrangian that is invariant under Galilean shifts in those…
In their work on second-order equational logic, Fiore and Hur have studied presentations of simply typed languages by generating binding constructions and equations among them. To each pair consisting of a binding signature and a set of…
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…
A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…