Another look on tense and related operators (Q2099808): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 2207.05453 / rank | |||
Normal rank |
Revision as of 00:55, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Another look on tense and related operators |
scientific article |
Statements
Another look on tense and related operators (English)
0 references
18 November 2022
0 references
Building on the category \(\mathbb{S}\) of sup-semilattices (complete lattices) and sup-preserving maps (maps preserving arbitrary joins), the authors consider three basic constructions, which find their use in various branches of modern mathematics (including algebra, logic, and topology). More precisely, the authors construct: (1) a sup-semilattice \(L^J\) equipped with a unary operation \(F\) (called an \textit{\(F\)-sup-semilattice}) from a sup-semilattice \(L\) and a frame \(J\), where a \textit{frame} \(J\) is a pair \((T,S)\), which consists of a set \(T\) and a binary relation \(S\); (2) a sup-semilattice \(J\otimes H\) from a frame \(J\) and an \(F\)-sup-semilattice \(H\); and (3) a frame \(J[H,L]\) from an \(F\)-sup-semilattice \(H\) and a sup-semilattice \(L\). These constructions give rise to four covariant and two contravariant functors between certain categories. In particular, one arrives at the backward powerset operator of, e.g., [\textit{L. A. Zadeh}, Inf. Control 8, 338--353 (1965; Zbl 0139.24606)] and tense operators of, e.g., [\textit{I. Chajda} and \textit{J. Paseka}, Algebraic approach to tense operators. Lemgo: Heldermann Verlag (2015; Zbl 1350.03002)] as a particular case of the above constructions. Moreover, the obtained results provide a unifying view on recent achievements in representations of tense operators in various categories of partially ordered sets and lattices. While considering representations and approximations of sup-semilattices with unary operations, the authors take their motivation in the book of \textit{P. R. Halmos} on functional monadic Boolean algebras [Algebraic logic. New York: Chelsea Publishing Company (1962; Zbl 0101.01101)]. The paper is well written, gives most of its required preliminaries (the omitted ones can be found in the list of references at the end of the paper), and will be of interest to the researchers studying applications of the theory of sup-lattices.
0 references
closure operator
0 references
congruence relation
0 references
frame
0 references
functor
0 references
lax morphism
0 references
nucleus
0 references
powerset operator
0 references
sup-semilattice
0 references
tense operator
0 references