Related papers: Leibnizian, Robinsonian, and Boolean Valued Monads
The different notions of matings of pairs of equal degree polynomials are introduced and are related to each other as well as known results on matings. The possible obstructions to matings are identified and related. Moreover the relations…
With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$-valued topological spaces form a monad. By means of $L$-Scott topology and the specialization $L$-order, we get…
We introduce and study blob and framed blob monoids. In particular, several realizations of these monoids are given. We compute the cardinality of the framed blob monoid and derive some combinatorial formulas involving this cardinality.
We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…
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…
In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected…
We prove certain vector valued inequalities related to Littlewood-Paley theory on Euclidean spaces. They can be used in proving characterization of the Hardy spaces in terms of Littlewood-Paley operators by methods of real analysis.
In Riemannian geometry, Ricci soliton inequalities are an important field of study that provide profound insights into the geometric and analytic characteristics of Riemannian manifolds. An extensive study of Ricci soliton inequalities is…
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…
We prove martingale-ergodic and ergodic-martingale theorems for vector valued Bochner integrable functions. We obtain dominant and maximal inequalities. We also prove weighted and multiparameter martingale-ergodic and ergodic martingale…
We characterize the equational theories and Lawvere theories that correspond to the categories of analytic and polynomial monads on Set, and hence also the categories of the symmetric and rigid operads in Set. We show that the category of…
A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…
New Hardy and Sobolev type inequalities involving $L^1$-norms of scalar and vector-valued functions in $\Bbb{R}^n$ are obtained. The work is related to some problems stated in the recent paper by Bourgain and Brezis
Accounts of semantic phenomena often involve extending types of meanings and revising composition rules at the same time. The concept of monads allows many such accounts -- for intensionality, variable binding, quantification and focus --…
We describe some monotone properties of solutions to second order linear difference equations with real constant coefficients. As an application, we give a characterization of the Fibonacci numbers.
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
A residue formula is given for the Verlinde formula, which allows one to calculate its coefficients as a polynomial in the level and connects it to the Riemann-Roch formula on the moduli space of vector bundles on a curve.
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one…
We review the concept of a graded bundle, which is a generalisation of a vector bundle, its linearisation, and a double structure of this kind. We then present applications of these structures in geometric mechanics including systems with…
The use of monoids in the study of word languages recognized by finite-state automata has been quite fruitful. In this work, we look at the same idea of "recognizability by finite monoids" for other monoids. In particular, we attempt to…