Related papers: Aggregation functions as lax morphisms of quantale…
We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…
Maps between spaces of measures on measurable spaces $(X,\Sigma_X)$ and $(Y, \Sigma_Y)$ are treated as generalized functions between $X$ and $Y$.
The definition of the complement of a fuzzy subset is algebraic in nature and when it is used in the context of fuzzy topological spaces it does not share any similarity with the usual property of topological spaces that the complement of…
Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the…
We extend the notion of mex, which is central in combinatorial number theory, to an arbitrary combinatorial structure, and we prove a general theorem to determine the generating function of the objects having fixed mex. We then study this…
We consider distributions on a closed compact manifold $M$ as maps on smoothing operators. Thus spaces of certain maps between $\Psi^{-\infty}(M)\to \mathcal{C}^{\infty}(M)$ are considered as generalized functions. For any collection of…
Harmonic morphisms are maps between Riemannian manifolds that pull back harmonic functions to harmonic functions. These maps are characterized as horizontally weakly conformal harmonic maps and they have many interesting links and…
We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…
Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We introduce a concept of a quasi proximate order which is a generalization of a proximate order and allows us to study efficiently analytic functions whose order and lower order of growth are different. We prove an existence theorem of a…
Mixing describes the process by which solutes evolve from an initial heterogeneous state to uniformity under the stirring action of a fluid flow. Fluid stretching forms thin scalar lamellae which coalesce due to molecular diffusion. Owing…
Graphical functions are positive functions on the punctured complex plane $\mathbb{C}\setminus\{0,1\}$ which arise in quantum field theory. We generalize a parametric integral representation for graphical functions due to Lam, Lebrun and…
We introduce a nonlinear aggregation type classifier for functional data defined on a separable and complete metric space. The new rule is built up from a collection of $M$ arbitrary training classifiers. If the classifiers are consistent,…
Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.
For every partial combinatory algebra (pca) $A$ and every partial endofunction on $A$, a pca $A[f]$ is constructed such that in $A[f]$, the function $f$ is representable by an element; a universal property of the construction is formulated…
From the integration of non-symmetrical hyperboles, a one-parameter generalization of the logarithmic function is obtained. Inverting this function, one obtains the generalized exponential function. We show that functions characterizing…
In quantum mechanics, one can express the evolution operator and other quantities in terms of functional integrals. The main goal of this paper is to prove corresponding results in the geometric approach to quantum theory. We apply these…
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…
An orthogonal approach to the fuzzification of both multisets and hybrid sets is presented. In particular, we introduce L-multi-fuzzy and L-fuzzy hybrid sets, which are general enough and in spirit with the basic concepts of fuzzy set…