On the probabilistic convergence spaces: Monad and its Eilenberg-Moore category by T. M. G. Ahsanullah, Tesnim Meryem Baran and Fawzi Al-Thukair
Ahsanullah, T. M. G. . 2022
Motivated by the category of probabilistic convergence spaces - a supercategory of the category of topological spaces, recently, we brought to light the categories of probabilistic convergence groups, probabilistic metric probabilistic convergence groups, probabilistic convergence transformation groups along with their underpinning natural examples. The purpose of this paper is, first, to establish a result on the isomorphism between the categories of probabilistic metric groups, and probabilistic metric probabilistic convergence groups. Secondly, among others, we explore various monads in relation with probabilistic convergence groups, and probabilistic convergence spaces, and their related algebras. In so doing, we consider a product of the categories of probabilistic convergence groups and probabilistic convergence spaces in an attempt to construct a monad on it such that the corresponding category of algebras, so-called Eilenberg-Moore category, is isomorphic to the category of probabilistic convergence transformation groups. Finally, invoking so-called Beck's theorem on characterization of algebras, and starting with a particular adjunction we achieved a monad; and, conversely, given a monad, we obtain an adjunction.
Introducing the notion of probabilistic convergence ring, and probabilistic limit ring, our motivations among others are, to focus at two vital issues, such as, (a) to provide characterization…
Starting with the category of probabilistic approach groups, we show that the category of approach groups can be embedded into the category of probabilistic approach groups as a bicoreflective…
Starting with an approximation space as the underlying structure, we
look at the rough uniformity of a topological rough group. Next, taking L as a
complete residuated lattice, we…