ORIGINAL_ARTICLE
Uniformities and covering properties for partial frames (I)
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.
http://cgasa.sbu.ac.ir/article_6481_216dfcc250ed5622b17a8cd2139f700c.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
1
21
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
John
Frith
john.frith@uct.ac.za
true
1
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
AUTHOR
Anneliese
Schauerte
anneliese.schauerte@uct.ac.za
true
2
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
LEAD_AUTHOR
[1] D. Baboolal and R.G. Ori, Samuel compactication and uniform coreection of nearness frames, Proceedings Symposium on Categorical Topology (1994), University of Cape Town, 1999.
1
[2] B. Banaschewski, Completion in pointfree topology, Lecture Notes in Math. and Applied Math., University of Cape Town, No. 2 (1996).
2
[3] B. Banaschewski, Uniform completion in pointfree topology, chapter in Topological and Algebraic Structures in Fuzzy Sets, S.E. Rodabaugh and E.P. Klement (Ed.s), Kluwer Academic Publishers, (2003) 19-56.
3
[4] B. Banaschewski and C.R.A. Gilmour, Realcompactness and the cozero part of a frame, Appl. Categ. Structures 9 (2001), 395-417.
4
[5] B. Banaschewski, S.S. Hong, and A. Pultr, On the completion of nearness frames, Quaest. Math. 21 (1998), 19-37.
5
[6] B. Banaschewski and A. Pultr, A general view of approximation, Appl. Categ. Structures 14 (2006), 165-190.
6
[7] B. Banaschewski and A. Pultr, Cauchy points of uniform and nearness frames, Quaest. Math. 19 (1996), 101-127.
7
[8] T. Dube, A note on complete regularity and normality, Quaest. Math. 19 (1996), 467-478. [9] J. Frith and A. Schauerte, A method for constructing coreections for nearness frames, Appl. Categ. Structures (to appear).
8
[10] J. Frith and A. Schauerte, Uniformities and covering properties for partial frames (II), Categ. General Alg. Struct. Appl. 2(1) (2014), 23-35.
9
[11] P.T. Johnstone, Stone Spaces", Cambridge University Press, Cambridge, 1982.
10
[12] J.J. Madden, -frames, J. Pure Appl. Algebra 70 (1991), 107-127.
11
[13] I. Naidoo, Aspects of nearness in -frames, Quaest. Math. 30 (2007), 133-145.
12
[14] J. Paseka, Covers in generalized frames, in: General Algebra and Ordered Sets (Horni Lipova 1994), Palacky Univ. Olomouc, Olomouc, 84-99.
13
[15] J. Picado and A. Pultr, Frames and Locales", Springer, Basel, 2012.
14
[16] J. Picado, A. Pultr, and A. Tozzi, Locales, chapter in Categorical Foundations, MC Pedicchio and W Tholen (eds), Encyclopedia of Mathematics and its Applications 97, Cambridge University Press, Cambridge, (2004) 49-101.
15
[17] S. Vickers, Topology via Logic", Cambridge Tracts in Theoretical Computer Science
16
5, Cambridge University Press, Cambridge, 1989.
17
[18] J. Walters, Compactications and uniformities on sigma frames, Comment. Math.
18
Univ. Carolinae 32(1) (1991), 189-198.
19
[19] E.R. Zenk, Categories of partial frames, Algebra Universalis 54 (2005), 213-235.
20
[20] D. Zhao, On projective Z-frames, Canad. Math. Bull. 40(1) (1997), 39-46.
21
ORIGINAL_ARTICLE
Uniformities and covering properties for partial frames (II)
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.
http://cgasa.sbu.ac.ir/article_6798_057cf0f670e3ade0581219ba00d22a0b.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
23
35
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
John
Frith
john.frith@uct.ac.za
true
1
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
AUTHOR
Anneliese
Schauerte
anneliese.schauerte@uct.ac.za
true
2
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
Department of Mathematics and Applied Mathematics, University of Cape Town, Private Bag Rondebosch, 7701, South Africa.
LEAD_AUTHOR
[1] B. Banaschewski, -frames, unpublished manuscript, 1980. Available online at http://mathcs.chapman.edu/CECAT/members/Banaschewski publications.
1
[2] J. Frith and A. Schauerte, Uniformities and covering properties for partial frames (I), Categ. General Alg. Struct. Appl. 2(1) (2014), 1-21.
2
[3] C.R.A. Gilmour, Realcompact spaces and regular -frames, Math. Proc. Camb. Phil. Soc. 96 (1984), 73-79.
3
[4] J.J. Madden, -frames, J. Pure Appl. Algebra 70 (1991), 107-127.
4
[5] J. Madden and J. Vermeer, Lindelof locales and realcompactness, Math. Proc. Camb. Phil. Soc. 99 (1986), 473-480.
5
[6] J. Paseka, Covers in generalized frames, in: General Algebra and Ordered Sets (Horni Lipova 1994), Palacky Univ. Olomouc, Olomouc, 84-99.
6
[7] J. Picado and A. Pultr, Frames and Locales", Springer, Basel, 2012.
7
[8] E.R. Zenk, Categories of partial frames, Algebra Universalis 54 (2005), 213-235.
8
[9] D. Zhao, On projective Z-frames, Canad. Math. Bull. 40(1) (1997), 39-46.
9
ORIGINAL_ARTICLE
Quasi-projective covers of right $S$-acts
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.
http://cgasa.sbu.ac.ir/article_6482_f25fef016a297f3166ecafec83d649d8.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
37
45
Projective
quasi-projective
perfect
semiperfect
cover
Mohammad
Roueentan
m.rooeintan@yahoo.com
true
1
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
AUTHOR
Majid
Ershad
ershad@shirazu.ac.ir
true
2
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
Department of Mathematics, College of Science, Shiraz University, Shiraz 71454, Iran.
AUTHOR
[1] J. Ahsan and K. Saifullah, Completely quasi-projective monoids, Semigroup Forum 38 (1989), 123-126.
1
[2] J. Fountain, Perfect semigroups, Proc. Edinburgh Math. Soc. 20(3) (1976), 87-93.
2
[3] J. Isbell, Perfect monoids, Semigroup Forum 2 (1971), 95-118.
3
[4] R. Khosravi, M. Ershad, and M. Sedaghatjoo, Storngly at and condition (P) covers of acts over monoids, Comm. Algebra 38(12) (2010), 4520-4530.
4
[5] M. Kilp, U. Knauer, and A. Mikhalev, Monoids, Acts and Categories, With Application to Wreath Products and Graphs"; Berlin, New York, 2000.
5
[6] U. Knauer and H. Oltmanns, On Rees weakly projective right acts, J. Math. Sci. 139(4) (2006), 6715-6722.
6
[7] U. Knauer and H. Oltmanns, Weak projectivities for S-acts, Proceeding of the Conference on General Algebra and Discrete Math. (postsdam), Aachen (1999), 143-159.
7
[8] M. Mahmoudi and J. Renshaw, On covers of cyclic acts over monoids, Semigroup Forum 77 (2008), 325-338.
8
[9] J. Wei, On a question of Kilp and Knauer, Comm. Algebra 32(6) (2004), 2269-2272.
9
ORIGINAL_ARTICLE
Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
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.
http://cgasa.sbu.ac.ir/article_6483_be76f661bc06e437558fec3ecd0c6f15.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
47
64
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
Hanamantagouda P.
Sankappanavar
sankapph@newpaltz.edu
true
1
Department of Mathematics, State University of New York, New Paltz, NY 12561
Department of Mathematics, State University of New York, New Paltz, NY 12561
Department of Mathematics, State University of New York, New Paltz, NY 12561
AUTHOR
[1] M. Abad, J.M. Cornejo and J.P. Diaz Varela, The variety of semi-Heyting algebras
1
satisfying the equation , Reports on Mathematical Logic
2
46 (2011), 75-90.
3
[2] M. Abad, J.M. Cornejo and J.P. Daz Varela, The variety generated by semi-Heyting
4
chains, Soft Computing 15 (2011), 721-728.
5
[3] M. Abad and L. Monteiro, Free symmetric Boolean algebras, Revista de la U.M.A.
6
27 (1976), 207-215.
7
[4] R. Balbes and PH. Dwinger, Distributive Lattices", Univ. of Missouri Press,
8
Columbia, 1974.
9
[5] S. Burris and H.P. Sankappanavar, A Course in Universal Algebra", Springer-
10
Verlag, New York, 1981. The free, corrected version (2012) is available online as a
11
PDF file at math.uwaterloo.ca/fisnburris.
12
[6] G. Gratzer, Lattice Theory", W.H.Freeman and Co., San Francisco, 1971.
13
[7] A. Horn, Logic with truth values in a linearly ordered Heyting algebras, J. Symbolic.
14
Logic 34 (1969), 395-408.
15
[8] B. Jhonsson, Algebras whose congruence lattices are distributive, Math. Scand. 21
16
(1967), 110-121.
17
[9] V.Yu. Meskhi, A discriminator variety of Heyting algebras with involution, Algebra
18
i Logika 21 (1982), 537-552.
19
[10] A. Monteiro, Sur les algebres de Heyting symetriques, Portugaliae Mathemaica 39
20
(1980), 1-237.
21
[11] W. McCune, Prover9 and Mace 4, http://www.cs.unm.edu/mccune/prover9/.
22
[12] H. Rasiowa, An Algebraic Approach to Non-Classical Logics", North{Holland
23
Publ.Comp., Amsterdam, 1974.
24
[13] H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics", Warsazawa,
25
[14] H.P. Sankappanavar, Heyting algebras with dual pseudocomplementation, Pacific J.
26
Math. 117 (1985), 405-415.
27
[15] H.P. Sankappanavar, Pseudocomplemented Okham and De Morgan algebras,
28
Zeitschr. f. math. Logik und Grundlagen d. Math. 32 (1986), 385-394.
29
[16] H.P. Sankappanavar, Heyting algebras with a dual lattice endomorphism, Zeitschr.
30
f. math. Logik und Grundlagen d. Math. 33 (1987), 565{573.
31
[17] H.P. Sankappanavar, Semi-De Morgan algebras, J. Symbolic. Logic 52 (1987), 712-
32
[18] H.P. Sankappanavar, Semi-Heyting algebras: An abstraction from Heyting algebras,
33
Actas del IX Congreso Dr. A. Monteiro (2007), 33-66.
34
[19] H.P. Sankappanavar, Semi-Heyting algebras II. In Preparation.
35
[20] H.P. Sankappanavar, Expansions of semi-Heyting algebras. I: Discriminator varieties,
36
Studia Logica 98 (1-2) (2011), 27-81.
37
[21] H.P. Sankappanavar, Expansions of semi-Heyting algebras. II. In Preparation.
38
[22] J, Varlet, A regular variety of type h2; 2; 1; 1; 0; 0i, Algebra Universalis 2 (1972),
39
[23] H. Werner, Discriminator Algebras", Studien zur Algebra und ihre Anwendungen,
40
Band 6, Academie{Verlag, Berlin, 1978.
41
ORIGINAL_ARTICLE
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
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.
http://cgasa.sbu.ac.ir/article_6799_7ce60a297db56c047a8e3b9e503e48ee.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
65
82
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
Hanamantagouda P.
Sankappanavar
sankapph@newpaltz.edu
true
1
Department of Mathematics, State University of New York, New Paltz, NY 12561
Department of Mathematics, State University of New York, New Paltz, NY 12561
Department of Mathematics, State University of New York, New Paltz, NY 12561
AUTHOR
[1] R. Balbes and PH. Dwinger, Distributive Lattices", Univ. of Missouri Press,
1
Columbia, 1974.
2
[2] S. Burris and H.P. Sankappanavar, A Course in Universal Algebra", Springer- Verlag, New York, 1981. The free, corrected version (2012) is available online as a PDF file at math.uwaterloo.ca/snburris.
3
[3] B. Jhonsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110-121.
4
[4] W. McCune, Prover9 and Mace 4, http://www.cs.unm.edu/mccune/prover9/.
5
[5] H. Rasiowa, An Algebraic Approach to Non-Classical Logics", North{Holland Publ.Comp., Amsterdam, 1974.
6
[6] H.P. Sankappanavar, Heyting algebras with dual pseudocomplementation, Pacific J. Math. 117 (1985), 405-415.
7
[7] H.P. Sankappanavar, Heyting algebras with a dual lattice endomorphism, Zeitschr. f. math. Logik und Grundlagen d. Math. 33 (1987), 565{573.
8
[8] H.P. Sankappanavar, Semi-De Morgan algebras, J. Symbolic. Logic 52 (1987), 712- 724.
9
[9] H.P. Sankappanavar, Semi-Heyting algebras: An abstraction from Heyting algebras, Actas del IX Congreso Dr. A. Monteiro (2007), 33-66.
10
[10] H.P. Sankappanavar, Expansions of semi-Heyting algebras. I: Discriminator varieties, Studia Logica 98 (1-2) (2011), 27-81.
11
[11] H.P. Sankappanavar, Dually quasi-De Morgan Stone semi-Heyting Regularity, Categ. General Alg. Struct. Appl. 2(1) (2014), 47-64.
12
ORIGINAL_ARTICLE
Injectivity in a category: an overview on smallness conditions
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.
http://cgasa.sbu.ac.ir/article_6800_3a21602701c668271925317f72f7ea0a.pdf
2014-07-01T11:23:20
2020-10-24T11:23:20
83
112
Cogenerating set
essential extension
residual smallness
injective
M. Mehdi
Ebrahimi
m-ebrahimi@sbu.ac.ir
true
1
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
LEAD_AUTHOR
Mahdieh
Haddadi
m.haddadi@semnan.ac.ir
true
2
Department of Mathematics, Statistics and Computer Science, Semnan University, Semnan, Iran.
Department of Mathematics, Statistics and Computer Science, Semnan University, Semnan, Iran.
Department of Mathematics, Statistics and Computer Science, Semnan University, Semnan, Iran.
AUTHOR
Mojgan
Mahmoudi
m-mahmoudi@sbu.ac.ir
true
3
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
Department of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, Iran.
AUTHOR
[1] J. Adamek, H. Herrlich, and G.E. Strecker, Abstract and Concrete Categories", John Wiley and Sons, Inc., 1990.
1
[2] F.W.. Anderson and K.R. Fuller, Rings and Categories of Modules", Springer, New York, 1974.
2
[3] B. Banaschewski, Injectivity and essential extensions in equational classes of algebras, Queen's Paper in Pure Appl. Math. 25 (1970), 131-147.
3
[4] H. Barzegar and M.M. Ebrahimi, Sequentially pure monomorphisms of acts over semigroups, Eur. J. Pure Appl. Math. 1(4) (2008), 41-55.
4
[5] H. Barzegar, M.M. Ebrahimi, and M. Mahmoudi, Essentiality and injectivity relative to sequential purity of acts, Semigroup Forum 79(1) (2009), 128-144.
5
[6] P. Berthiaume, The injective envelope of S-Sets, Canad. Math. Bull. 10(2) (1967), 261-273.
6
[7] K.R. Bhutani, Injectivity and injective hulls of abelian groups in a localic topos, Bull.
7
Austral. Math. Soc. 37 (1988), 43-59.
8
[8] S. Burris and H.P. Sankapanavar, A Course in Universal Algebra", Graduate Texts in Math. No. 78, Springer-Verlag, 1981.
9
[9] D. Dikranjan and W. Tholen, Categorical Structure of Closure Operators, with Applications to Topology, Algebra, and Discrete Mathematics", Mathematics and its Applications, Kluwer Academic Publisher, 1995.
10
[10] M. M. Ebrahimi, M. Haddadi, and M. Mahmoudi, Injectivity in a category: An overview of well behaviour theorems, Algebra, Groups, and Geometries 26 (2009), 451-472.
11
[11] M.M. Ebrahimi, Algebra in a Grothendieck Topos: Injectivity in quasi-equational classes, J. Pure Appl. Algebra 26 (1982), 269-280.
12
[12] M.M. Ebrahimi, Equational compactness of sheaves of algebras on a Noetherian locale, Algebra Universalis 16 (1983), 318-330.
13
[13] M.M. Ebrahimi, Internal completeness and injectivity of Boolean algebras in the topos of M-sets, Bull. Austral. Math. Soc. 41(2) (1990), 323-332.
14
[14] M.M. Ebrahimi, On ideal closure operators of M-sets, Southeast Asian Bull. Math. 30 (2006), 439-444.
15
[15] M.M. Ebrahimi and M. Mahmoudi, Purity and equational compactness of projection algebras, Appl. Categ. Structures 9(4) (2001), 381-394.
16
[16] M.M. Ebrahimi and M. Mahmoudi, The category of M-sets, Italian J. Pure Appl. Math. 9 (2001), 123-132.
17
[17] M.M. Ebrahimi and M. Mahmoudi, Baer criterion and injectivity of projection algebras, Semigroup Forum 71(2) (2005), 332-335.
18
[18] M.M. Ebrahimi, M. Mahmoudi, and Gh. Moghaddasi Angizan, Injective hulls of acts over left zero semigroups, Semigroup Forum 75(1) (2007), 212-220.
19
[19] M.M. Ebrahimi, M. Mahmoudi, and Gh. Moghaddasi Angizan, On the Baer criterion for acts over semigroups, Comm. Algebra 35(12) (2007), 3912-3918.
20
[20] M.M. Ebrahimi, M. Mahmoudi, and L. Shahbaz, Proper behaviour of sequential injectivity of acts over semigroups, Comm. Algebra 37(7) (2009), 2511-2521.
21
[21] R. Goldblatt, Topoi: The Categorial Analysis of Logic", North Holland, 1986.
22
[22] M. Kilp, U. Knauer, and A. Mikhalev, Monoids, Acts and Categories", Walter de Gruyter, Berlin, New York, 2000.
23
[23] S. Maclane, Categories for theWorking Mathematicians", Graduate Texts in Mathematics, No. 5, Springer-Verlag, 1971.
24
[24] M. Mahmoudi, Internal injectivity of Boolean algebras in MSet, Algebra Universalis 41 (1999), 155-175.
25
[25] M. Mahmoudi and Gh. Moghaddasi Angizan, Injective hulls of acts over idempotent semigroups, Semigroup Forum 74(2) (2007), 240-246.
26
[26] M. Mahmoudi and L. Shahbaz, Sequentially dense essential monomorphisms of acts over semigroups, Appl. Categ. Structures 18(5) (2010), 461-471.
27
[27] M. Mahmoudi and L. Shahbaz, Characterizing semigroups by sequentially dense injective acts, Semigroup Forum 75(1)(2007), 116-128.
28
[28] W. Taylor, Residually small varieties, Algebra Universalis 2 (1972), 33-53.
29
[29] B.R. Tennison, Sheaf Theory", Cambridge University Press, 1975.
30
[30] W. Tholen, Injective Objects and Cogenerating sets, J. Algebra 73(1) (1981), 139-155.
31
[31] W. Wechiler, Universal Algebra for Computer Scientists", EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
32