Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Uniformities and covering properties for partial frames (I)
1
21
EN
John
Frith
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701,
South Africa.
john.frith@uct.ac.za
Anneliese
Schauerte
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
anneliese.schauerte@uct.ac.za
Partial frames provide a rich context in which to do pointfree structured and unstructured topology. A small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. These axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $kappa$-frames and frames. Reflective subcategories of uniform and nearness spaces and lately coreflective subcategories of uniform and nearness frames have been a topic of considerable interest. In cite{jfas9} an easily implementable criterion for establishing certain coreflections in nearness frames was presented. Although the primary application in that paper was in the setting of nearness frames, it was observed there that similar techniques apply in many categories; we establish here, in this more general setting of structured partial frames, a technique that unifies these. We make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting our axiomatization of partial frames, which we call $sels$-frames, we add structure, in the form of $sels$-covers and nearness, and provide the promised method of constructing certain coreflections. We illustrate the method with the examples of uniform, strong and totally bounded nearness $sels$-frames. In Part (II) of this paper, we consider regularity, normality and compactness for partial frames.
Frame,$\sels$-frame,$Z$-frame,partial frame,$\sigma$-frame,$\kappa$-frame,meet-semilattice,nearness,Uniformity,strong inclusion,uniform map,coreflection,$P$-approximation,strong,totally bounded,regular,Normal,compact
http://cgasa.sbu.ac.ir/article_6481.html
http://cgasa.sbu.ac.ir/article_6481_216dfcc250ed5622b17a8cd2139f700c.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Uniformities and covering properties for partial frames (II)
23
35
EN
John
Frith
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701,
South Africa.
john.frith@uct.ac.za
Anneliese
Schauerte
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
anneliese.schauerte@uct.ac.za
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in the form of $sels$-covers and nearness. Here, in the unstructured setting, we consider regularity, normality and compactness, expressing all these properties in terms of $sels$-covers. We see that an $sels$-frame is normal and regular if and only if the collection of all finite $sels$-covers forms a basis for an $sels$-uniformity on it. Various results about strong inclusions culminate in the proposition that every compact, regular $sels$-frame has a unique compatible $sels$-uniformity.
Frame,$\sels$-frame,$Z$-frame,partial frame,$\sigma$-frame,$\kappa$-frame,meet-semilattice,nearness,Uniformity,strong inclusion,uniform map,coreflection,$P$-approximation,strong,totally bounded,regular,Normal,compact
http://cgasa.sbu.ac.ir/article_6798.html
http://cgasa.sbu.ac.ir/article_6798_057cf0f670e3ade0581219ba00d22a0b.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Quasi-projective covers of right $S$-acts
37
45
EN
Mohammad
Roueentan
Department of Mathematics, College of
Science, Shiraz University, Shiraz 71454, Iran.
m.rooeintan@yahoo.com
Majid
Ershad
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
ershad@shirazu.ac.ir
In this paper $S$ is a monoid with a left zero and $A_S$ (or $A$) is a unitary right $S$-act. It is shown that a monoid $S$ is right perfect (semiperfect) if and only if every (finitely generated) strongly flat right $S$-act is quasi-projective. Also it is shown that if every right $S$-act has a unique zero element, then the existence of a quasi-projective cover for each right act implies that every right act has a projective cover.
Projective,quasi-projective,perfect,semiperfect,cover
http://cgasa.sbu.ac.ir/article_6482.html
http://cgasa.sbu.ac.ir/article_6482_f25fef016a297f3166ecafec83d649d8.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
47
64
EN
Hanamantagouda P.
Sankappanavar
Department of Mathematics, State University of New York, New Paltz, NY 12561
sankapph@newpaltz.edu
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1. It is shown that there are 25 nontrivial simple algebras in this variety. In Part II, we prove, using the description of simples obtained in this Part, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--the latter is known to be generated by the expansions of the three 4-element Boolean semi-Heyting algebras. As consequences of this theorem, we present (equational) axiomatizations for several subvarieties of $mathbf{RDQDStSH_1}$. The Part II concludes with some open problems for further investigation.
Regular dually, quasi-De Morgan, semi-Heyting algebra of level 1,dually
pseudocomplemented semi-Heyting algebra,De Morgan semi-Heyting
algebra,strongly blended dually quasi-De Morgan Stone semi-Heyting algebra,discriminator variety,simple,directly indecomposable,subdirectly
irreducible,equational base
http://cgasa.sbu.ac.ir/article_6483.html
http://cgasa.sbu.ac.ir/article_6483_be76f661bc06e437558fec3ecd0c6f15.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
65
82
EN
Hanamantagouda P.
Sankappanavar
Department of Mathematics, State University of New York, New Paltz, NY 12561
sankapph@newpaltz.edu
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--the latter is known to be generated by the expansions of the three 4-element Boolean semi-Heyting algebras. As consequences of our main theorem, we present (equational) axiomatizations for several subvarieties of $mathbf{RDQDStSH_1}$. The paper concludes with some open problems for further investigation.
Regular dually quasi-De Morgan semi-Heyting algebra of level 1,dually
pseudocomplemented semi-Heyting algebra,De Morgan semi-Heyting
algebra,strongly blended dually quasi-De Morgan Stone semi-Heyting algebra,discriminator variety,simple,directly indecomposable,subdirectly
irreducible,equational base
http://cgasa.sbu.ac.ir/article_6799.html
http://cgasa.sbu.ac.ir/article_6799_7ce60a297db56c047a8e3b9e503e48ee.pdf
Shahid Beheshti University
Categories and General Algebraic Structures with Applications
2345-5853
2345-5861
2
1
2014
07
01
Injectivity in a category: an overview on smallness conditions
83
112
EN
M. Mehdi
Ebrahimi
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
m-ebrahimi@sbu.ac.ir
Mahdieh
Haddadi
Department of Mathematics, Statistics and Computer Science, Semnan University, Semnan, Iran.
m.haddadi@semnan.ac.ir
Mojgan
Mahmoudi
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
m-mahmoudi@sbu.ac.ir
Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and Walter Tholen, who studied these notions in a much more categorical setting. Then, we study these notions as well as the well behavior of injectivity, in the class $mod(Sigma, {mathcal E})$ of models of a set $Sigma$ of equations in a suitable category, say a Grothendieck topos ${mathcal E}$, given by M.Mehdi Ebrahimi. We close the paper by some examples to support the results.
Cogenerating set,essential extension,residual smallness,injective
http://cgasa.sbu.ac.ir/article_6800.html
http://cgasa.sbu.ac.ir/article_6800_3a21602701c668271925317f72f7ea0a.pdf