We demonstrate a one-to-one correspondence between idempotent closure operators and the so-called saturated quasi-uniform structures on category C. Not only this result allows to obtain categorical counterpart P of Császár-Pervin quasi-uniformity P, that we characterize as transitive compatible with an interior operator, but also permits describe those topogenous orders are induced by The P⁎ P−...

A mixed initial and boundary value problem is considered for a partial differential equation of the form Mu t (x, t)+Lu(x, £)=0, where M and L are elliptic differential operators of orders 2 m and 21, respectively, with m ^ I. The existence and uniqueness of a strong solution of this equation in H ι 0 (G) is proved by semigroup methods. We are concerned here with a mixed initial boundary value ...

Notions of speci cation, implementation, satisfaction, and re nement, together with operators supporting stepwise design, constitute a speci cation theory. We construct such a theory for Markov Chains (MCs) employing a new abstraction of a Constraint MC. Constraint MCs permit rich constraints on probability distributions and thus generalize prior abstractions such as Interval MCs. Linear (polyn...

in this paper, we improve some recent coupled fixed point resultsfor single-valued operators in the framework of ordered $b$-metricspaces established by bota et al. [m-f. bota, a. petrusel, g.petrusel and b. samet, coupled fixed point theorems forsingle-valued operators in b-metric spaces, fixed point theoryappl. (2015) 2015:231]. also, we prove that perov-type fixed pointtheorem in ordered gen...

It is widely known that closure operators on finite sets can be represented by sets of implications (also known as inclusion dependencies) as well as by formal contexts. In this article, we consider these two representation types, as well as generalizations of them: extended implication sets and context families. We discuss the mutual succinctness of these four representations and the tractabil...

Fuzzy relations are mappings from pairs of elements into the interval [0, 1]. As a replacement for the complement operation one can use the mapping that sends x to 1 − x. Together with the concepts of t-norm and t-conorm a weak form of Boolean algebra can be defined. However, to our knowledge so far no notion of domain or codomain has been investigated for fuzzy relations. These might, however,...