Another look on tense and related operators

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

BOTUR Michal PASEKA Jan SMOLKA Richard

Rok publikování 2022
Druh Článek v odborném periodiku
Časopis / Zdroj Algebra Universalis
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www
Doi http://dx.doi.org/10.1007/s00012-022-00794-1
Klíčová slova Tense operator; Sup-semilattice; Frame; Poset; Nucleus; Prenucleus
Popis Motivated by the classical work of Halmos on functional monadic Boolean algebras, we derive three basic sup-semilattice constructions, among other things, the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic, and topology. Our three constructions give rise to four covariant and two contravariant functors and constitute three adjoint situations we illustrate in simple examples.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.