Related papers: General 2-Dimensional Adjunctions, Universal Monad…
A general dilaton gravity theory in 1+1 spacetime dimensions with a cosmological constant $\lambda$ and a new dimensionless parameter $\omega$, contains as special cases the constant curvature theory of Teitelboim and Jackiw, the theory…
In this article we provide a model-independent definition of the concept of lax $2$-functors from $(\infty,2)$-category theory and show that it agrees with the existing and widely used combinatorial model for those in terms of…
Black hole solutions in the context of a generic matter-coupled two-dimensional dilaton gravity theory are discussed both at the classical and semiclassical level. Starting from general assumptions, a criterion for the existence of black…
A general model of dialton-Maxwell gravity in two dimensions is investigated. The corresponding one-loop effective action and the generalized $\beta$-functions are obtained. A set of models that are fixed points of the renormalization group…
Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to…
A generalized symmetry of a system of differential equations is an infinitesimal transformation depending locally upon the fields and their derivatives which carries solutions to solutions. We classify all generalized symmetries of the…
Synthetic Differential Geometry (SDG) is a categorical version of differential geometry based on enriching the real line with infinitesimals and weakening of classical logic to intuitionistic logic. We show that SDG provides an effective…
An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…
A homogeneous two-dimensional metric including the degrees of freedom of Teichm\"uller deformation is developed. The Teichm\"uller deformation is incorporated by affine stretching of complex structure. According to Yamada's investigation by…
Using the language of double categories we generalise a classical result on finite-product-preserving left Kan extensions, by Ad\'amek and Rosick\'y, to one on left Kan extensions that preserve algebraic structures defined by `suitable'…
A class of second-order differential equations commonly arising in physics applications are considered, and their explicit hypergeometric solutions are provided. Further, the relationship with the Generalized and Universal Associated…
In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…
The Einstein-Hilbert action with a cosmological term is used to derive a new action in 1+1 spacetime dimensions. It is shown that the two-dimensional theory is equivalent to planar symmetry in General Relativity. The two-dimensional theory…
We outline a definition of accessible and presentable objects in a 2-category $\mathcal K$ endowed with a "KZ context", that is to say a pair of lax-idempotent monads interacting in a prescribed way; this perspective suggests a unified…
We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove…
We describe a finitary 2-monad on a locally finitely presentable 2-category for which not every pseudoalgebra is equivalent to a strict one. This shows that having rank is not a sufficient condition on a 2-monad for every pseudoalgebra to…
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…
We study the Lie point symmetries of a general class of partial differential equations (PDE) of second order. An equation from this class naturally defines a second-order symmetric tensor (metric). In the case the PDE is linear on the first…
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain…
The classical Liouville Theorem on conformal transformations determines local conformal transformations on the Euclidean space of dimension $\geq 3$. Its natural adaptation to the general framework of Riemannian structures is the 2-rigidity…