Another look on tense and related operators

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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	https://arxiv.org/pdf/2207.05453.pdf https://link.springer.com/article/10.1007/s00012-022-00794-1
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:	Nové přístupy k agregačním operátorům v analýze a zpracování dat Ortomodularita z různých pohledů