Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...

It is shown that if (Xn)n is a Bochner integrable stochastic process taking values in a Banach lattice E, the convergence of f(Xn) to f(X) where f is in a total subset of E∗ implies the a.s. convergence. For any Banach space E-valued stochastic process of Pettis integrable strongly measurable functions (Xn)n, the convergence of f(Xn) to f(X) for each f in a total subset of E∗ implies the conver...

based on a complete heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a cartesian-closed category, calledthe category of $l-$ordered fuzzifying convergence spaces, in whichthe category of $l-$fuzzifying topological spaces can be embedded.in addition, two new categories are introduced, which are called the...

Necessary and sufficient conditions are given so that the space C(X, E) of all continuous functions from a zero-dimensional topological space X to a nonArchimedean locally convex space E, equipped with the topology of uniform convergence on the compact subsets of X, to be polarly absolutely quasi-barrelled, polarly אo-barrelled, polarly `∞-barrelled or polarly co-barrelled. Also, tensor product...

Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...

We prove a sufficient set of conditions for a sequence of finite measures on the space of cadlag measure-valued paths to converge to the canonical measure of super-Brownian motion in the sense of convergence of finitedimensional distributions. The conditions are convergence of the Fourier transform of the r-point functions and perhaps convergence of the “survival probabilities.” These condition...

In this paper, it is shown that the category of stratified $L$-generalized convergence spaces is monoidal closed if the underlying truth-value table $L$ is a complete residuated lattice. In particular, if the underlying truth-value table $L$ is a complete Heyting Algebra, the Cartesian closedness of the category is recaptured by our result.

This paper deals with the solution of large classes of systems of nonlinear partial differential equations (PDEs) in spaces of generalized functions that are constructed as the completion of uniform convergence spaces. The existence result for the mentioned systems of equations are obtained as an application of a basic approximation result, which is formulated entirely in terms of usual real va...

This paper presents a framework for computing random operator-valued feature maps for operator-valued positive definite kernels. This is a generalization of the random Fourier features for scalar-valued kernels to the operator-valued case. Our general setting is that of operator-valued kernels corresponding to RKHS of functions with values in a Hilbert space. We show that in general, for a give...