Geodesic
Topobooleans and Boolean contact algebras with interpolation property
Filomat, Tome 35 (2021) no. 9, p. 2895

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

DOI

In this paper we study the connections between topobooleans [A. A. Estaji, A. Karimi Feizabadi, and M. Zarghani, Categ. Gen. Algebr. Struct. Appl. 4 (2016), 75–94] and Boolean contact algebras with the interpolation property (briefly, ICAs) [G. Dimov and D. Vakarelov, Fund. Inform. 74 (2006), 209–249]. We prove that every complete ICA generates a topoboolean and, conversely, if a topoboolean satisfies some natural conditions then it generates a complete ICA which, in turn, generates it. We introduce the category ICA of ICAs and suitable morphisms between them. We show that the category ICA has products and every ICA-monomorphism is an injective function. We prove as well that if A and B are complete Boolean algebras, f : B 1 → B 2 is a complete Boolean homomorphism and (A, C) is an ICA, then B possesses a final ICA-structure in respect of f
DOI : 10.2298/FIL2109895E
Classification : 54E05, 06D22, 18B30
Keywords: Category, contact algebra, proximity relation, topoboolean 
Ali Akbar Estaji; Toktam Haghdadi; Javad Farokhi Ostad. Topobooleans and Boolean contact algebras with interpolation property. Filomat, Tome 35 (2021) no. 9, p. 2895 . doi: 10.2298/FIL2109895E
@article{10_2298_FIL2109895E,
     author = {Ali Akbar Estaji and Toktam Haghdadi and Javad Farokhi Ostad},
     title = {Topobooleans and {Boolean} contact algebras with interpolation property},
     journal = {Filomat},
     pages = {2895 },
     year = {2021},
     volume = {35},
     number = {9},
     doi = {10.2298/FIL2109895E},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/FIL2109895E/}
}
TY  - JOUR
AU  - Ali Akbar Estaji
AU  - Toktam Haghdadi
AU  - Javad Farokhi Ostad
TI  - Topobooleans and Boolean contact algebras with interpolation property
JO  - Filomat
PY  - 2021
SP  - 2895 
VL  - 35
IS  - 9
UR  - http://geodesic.mathdoc.fr/articles/10.2298/FIL2109895E/
DO  - 10.2298/FIL2109895E
LA  - en
ID  - 10_2298_FIL2109895E
ER  - 
%0 Journal Article
%A Ali Akbar Estaji
%A Toktam Haghdadi
%A Javad Farokhi Ostad
%T Topobooleans and Boolean contact algebras with interpolation property
%J Filomat
%D 2021
%P 2895 
%V 35
%N 9
%U http://geodesic.mathdoc.fr/articles/10.2298/FIL2109895E/
%R 10.2298/FIL2109895E
%G en
%F 10_2298_FIL2109895E

Cité par Sources :