L-idempotent linear operators between predicate semimodules, dual pairs and conjugate operators

Oleh Nykyforchyn, Oksana Mykytsey

Анотація


It is shown that the sets of monotonic predicates on domains with values in a completely distributive quantale are free completely distributive idempotent semimodules over these domains. Idempotent dual pairs and conjugate operators are also constructed.

Ключові слова


monotone predicate; Scott continuity; polarity; conjugate linear operator; idempotent semimodule

Повний текст: PDF

Посилання

  • Поки немає зовнішніх посилань.


Creative Commons License
Ця робота ліцензована Creative Commons Attribution 3.0 License.