Related papers: On examples of difference operators for $\{0,1\}$-…
We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional…
This paper develops some deeper consequences of an extended definition, proposed previously by the author, of pseudo-differential operators that are of type $1,1$ in H\"ormander's sense. Thus, it contributes to the long-standing problem of…
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or…
In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras $sp(n,1)$. Our choice of these algebras is motivated by the fact that they belong to a…
In this paper we explore solvability of steady-state variational inequalities with multivalued operators. Moreover, we are studying the connections between the class of radially semi-continuous operators with semi-bounded variation and…
In this paper, we describe some arithmetic properties of Lame operators with finite dihedral projective monodromy. We take advantage of the deep link with Grothendieck's theory of dessins d'enfants. We focus more particularly on the case of…
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the…
Modular operads are a special type of operad: in fact, they bear the same relationship to operads that graphs do to trees (i.e. simply connected graphs). One of the basic examples of a modular operad is the collection of…
This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter, $\top$-filter and bounded saturated prefilter. The question is whether these constructions give rise to monads on…
The goal of this paper is to study certain p-adic differential operators on automorphic forms on U(n,n). These operators are a generalization to the higher-dimensional, vector-valued situation of the p-adic differential operators…
The matrix normed structure of the unitization of a (non-selfadjoint) operator algebra is determined by that of the original operator algebra. This yields a classification up to completely isometric isomorphism of two-dimensional unital…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
We develop a monotone, two-scale discretization for a class of integrodifferential operators of order $2s$, $s \in (0,1)$. We apply it to develop numerical schemes, and derive pointwise convergence rates, for linear and obstacle problems…
Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal…
We introduce a new type of $n$-dimensional generalization of symmetric $(v,k,\lambda)$ block designs. We prove upper bounds on the dimension $n$ in terms of $v$ and $k$. We also define the corresponding concept of $n$-dimensional difference…
We give a commutative valuations monad Z on the category DCPO of dcpo's and Scott-continuous functions. Compared to the commutative valuations monads given in [Jia et al., 2021], our new monad Z is larger and it contains all push-forward…
We use properties of the sequences of zeros of certain spaces of analytic functions in the unit disc $\mathbb D$ to study the question of characterizing the weighted superposition operators which map one of these spaces into another. We…
The convergence of a new general variable metric algorithm based on compositions of averaged operators is established. Applications to monotone operator splitting are presented.
We study geometric properties of varieties associated with invariant subspaces of nilpotent operators. There are reductive algebraic groups acting on these varieties. We give dimensions of orbits of these actions. Moreover, a combinatorial…
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model…