Další formáty:
BibTeX
LaTeX
RIS
@article{2247867,
author = {Botur, Michal and Paseka, Jan and Smolka, Richard},
article_number = {4},
doi = {http://dx.doi.org/10.1007/s00012-022-00794-1},
keywords = {Tense operator; Sup-semilattice; Frame; Poset; Nucleus; Prenucleus},
language = {eng},
issn = {0002-5240},
journal = {Algebra Universalis},
title = {Another look on tense and related operators},
url = {https://link.springer.com/article/10.1007/s00012-022-00794-1},
volume = {83},
year = {2022}
}
TY - JOUR
ID - 2247867
AU - Botur, Michal - Paseka, Jan - Smolka, Richard
PY - 2022
TI - Another look on tense and related operators
JF - Algebra Universalis
VL - 83
IS - 4
SP - 1-29
EP - 1-29
PB - Springer Basel AG
SN - 00025240
KW - Tense operator
KW - Sup-semilattice
KW - Frame
KW - Poset
KW - Nucleus
KW - Prenucleus
UR - https://link.springer.com/article/10.1007/s00012-022-00794-1
N2 - 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.
ER -
BOTUR, Michal, Jan PASEKA a Richard SMOLKA. Another look on tense and related operators. \textit{Algebra Universalis}. Springer Basel AG, 2022, roč.~83, č.~4, s.~1-29. ISSN~0002-5240. Dostupné z: https://dx.doi.org/10.1007/s00012-022-00794-1.
|
