Related papers: On the functor of comonotonically maxitive functio…
Riesz Theorem establishes a correspondence between the set of $\sigma$-additive regular Borel measures and the set of linear positively defined functionals. We consider an idempotent analogue of this correspondence between possibility…
The comonotonic maxitivity property of functionals frequently appears in the characterization of fuzzy integrals based on the maximum operation. In some special cases, comonotonic maxitivity implies monotonicity of functionals. The question…
A characterization of t-normed integrals was obtained in \cite{CLM} for finite compacta and in \cite{Rad} for the general case. Such characterization establishes a correspondence between the space of capacities and homogeneous respect…
The notion of max-min measure is a counterpart of the notion of max-plus measure (Maslov measure or idempotent measure). In this paper we consider the spaces of max-min measures on the compact Hausdorff spaces. It is proved that the…
We consider isomorphism between the idempotent measure monad based on the maximum and the addition operations and the idempotent measure monad based on the maximum and the multiplication operations. A one of the consequences of this result…
We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower…
We derive two types of representation results for increasing convex functionals in terms of countably additive measures. The first is a max-representation of functionals defined on spaces of real-valued continuous functions and the second a…
The recent extensions of domain theory have proved particularly efficient to study lattice-valued maxitive measures, when the target lattice is continuous. Maxitive measures are defined analogously to classical measures with the supremum…
In this paper we introduce and investigate the notion of semiseparable functor. One of its first features is that it allows a novel description of separable and naturally full functors in terms of faithful and full functors, respectively.…
In the present paper we show that the functor of idempotent probability measures satisfies all of conditions with an additional claim of uniform metrizability of functors.
We provide a new approach to the Hutchinson-Barnsley theory for idempotent measures first presented in N. Mazurenko, M. Zarichnyi, Invariant idempotent measures, Carpathian Math. Publ., 10 (2018), 1, 172--178. The main feature developed…
The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor…
We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the…
Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…
We introduce a functor from cochain complexes to bicomplexes, called inflation functor, which sends quasi-isomorphisms to the class of pluripotential weak equivalences. We show this functor is part of a Quillen adjunction. Its right adjoint…
The injective stabilization of the tensor product is subjected to an iterative procedure that utilizes its bifunctor property. The limit of this procedure, called the asymptotic stabilization of the tensor product, provides a homological…
We show that the set of max-plus measures representing a given max-plus harmonic vector has a least element. This may be viewed as an analogue of the uniqueness of the integral representation of harmonic functions in Potential Theory. As an…
Idempotent integration is an analogue of Lebesgue integration where $\sigma$-maxitive measures replace $\sigma$-additive measures. In addition to reviewing and unifying several Radon--Nikodym like theorems proven in the literature for the…
We develop an idempotent version of probabilistic potential theory. The goal is to describe the set of max-plus harmonic functions, which give the stationary solutions of deterministic optimal control problems with additive reward. The…
We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of…