论文标题
另一个关于时态和相关操作员的看法
Another look on tense and related operators
论文作者
论文摘要
由Halmos在功能性的Monadic Boolean代数上的经典作品的动机，我们得出了三个基本的Sup-Semilattice构造，除其他外，所谓的Powererset和Powererset运营商。这种结构非常有用，可以在几乎所有现代数学的分支中找到，包括代数，逻辑和拓扑。我们的三个结构产生了四个协变量和两个逆转函数，并构成了我们在简单的示例中说明的三种伴随情况。
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.
