Related papers: A functional representation of the capacity multip…

We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…

We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric…

In a previous paper, the authors showed that in a reflexive Banach space the lower limit of a sequence of maximal monotone operators is always representable by a convex function. The present paper gives precisions to the latter result by…

We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…

We study Hitchin representations and maximal symplectic representations of surface groups, which can be both thought of as generalisations of Fuchsian representations. We show that the corresponding energy functionals are proper on…

In this note we give a proof of the Sobolev and Morrey embedding theorems based on the representation of functions in terms of the fundamental solution of suitable partial differential operators. We also prove the compactness of the Sobolev…

The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded…

We describe a new cognitive ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions. Furthermore, we present an initial (first-order) formalization of this mechanism…

The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…

The study deals with the theory of interior capacities of condensers in a locally compact space, a condenser being treated here as a countable, locally finite collection of arbitrary sets with the sign +1 or -1 prescribed such that the…

It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.

Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within…

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…

We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on…

In this paper, we establish maximal function estimates, Lebesgue differentiation theory, Calder\'on-Zygmund decompositions, and John-Nirenberg inequalities for translation invariant Hausdorff contents. We further identify a key structural…

It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the…

We prove a compact embedding theorem in a class of spaces of piecewise H1 functions subordinated to a class of shape regular, but not necessarily quasi-uniform triangulations of a polygonal domain. This result generalizes the…

Potential functional approximations are an intriguing alternative to density functional approximations. The potential functional that is dual to the Lieb density functional is defined and properties given. The relationship between…

Working in the setting of $\infty$-categories, we develop a general theory of the codensity monad $T_\mathcal{D}$ associated with a full subcategory $\mathcal{D}\subseteq \mathcal{C}$. We show that $T_\mathcal{D}$ has a canonical monad…

Some fixed point results are given for a class of functional contractions acting on (reflexive) triangular symmetric spaces. Technical connections with the corresponding theories over (standard) metric and partial metric spaces are also…