arXiv subjects

Oleh Nykyforchyn

Publications and source records attributed to Oleh Nykyforchyn.

5 recordsLinked to original sources

arXiv2019

Ambiguous representations of semilattices and imperfect information

Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their ambiguous representations, for which taking pseudo-inverse is involutive, form categories. Self-dualities and contravariant equivalences for these categories are obtained. Possible interpretations and applications to processing of imperfect information are discussed.

math.CT↗

arXiv2012

$L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates

For a completely distributive quantale $L$, $L$-fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are linear or affine continuous mappings between continuous $L$-idempotent semimodules of $L$-fuzzy monotonic predicates.

math.CT↗

arXiv2011

Idempotent convexity and algebras for the capacity monad and its submonads

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine maps. It is also shown that the category of algebras for the monad of sup-measures ($(\max,\min)$-idempotent measures) is isomorphic to the category of $(\max,\min)$-idempotent convex compacta and their affine maps.

math.CT↗

arXiv2011

Ambiguous representations as fuzzy relations between sets

Crisp and $L$-fuzzy ambiguous representations of closed subsets of one space by closed subsets of another space are introduced. It is shown that, for each pair of compact Hausdorff spaces, the set of (crisp or $L$-fuzzy) ambiguous representations is a lattice and a compact Hausdorff Lawson upper semilattice. The categories of ambiguous and $L$-ambiguous representations are defined and investigated.

math.CT↗

arXiv2010

Inclusion hyperspaces and capacities on Tychonoff spaces: functors and monads

The inclusion hyperspace functor, the capacity functor and monads for these functors have been extended from the category of compact Hausdorff spaces to the category of Tychonoff spaces. Properties of spaces and maps of inclusion hyperspaces and capacities (non-additive measures) on Tychonoff spaces are investigated.

math.CT↗