Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120180501An equivalence functor between local vector lattices and vector lattices1156140510.29252/cgasa.10.1.1ENKarimBoulabiarDépartement de Mathématiques
Faculté des Sciences de Tunis
Université Tunis-El Manar
Campus UniversitaireJournal Article20171113We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-trivial components. Nevertheless, our main purpose is to prove, via what we call the radical functor, that the category of all vector lattices and lattice homomorphisms is equivalent to the category of local vectors lattices and unital (i.e., unit preserving) lattice homomorphisms.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101State filters in state residuated lattices17375744310.29252/cgasa.10.1.17ENZahraDehghaniHigher Education Complex of Bam, IranFereshtehForouzeshFaculty of Mathematics and computing, Higher Education Complex of Bam, Kerman, Iran.Journal Article20170801In this paper, we introduce the notions of prime state filters, obstinate state filters, and primary state filters in state residuated lattices and study some properties of them. Several characterizations of these state filters are given and the prime state filter theorem is proved. In addition, we investigate the relations between them.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101Lattice of compactifications of a topological group39506140610.29252/cgasa.10.1.39ENWeiHeInstitute of Mathematics, Nanjing Normal UniversityZhiqiangXiaoDepartment of Mathematics, Nanjing Normal University, Nanjing, 210046, China.Journal Article20171205We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological group are obtained.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101On the property $U$-($G$-$PWP$) of acts51675074610.29252/cgasa.10.1.51ENMostafaArabtashDepartment of Mathematics, University of Sistan and Baluchestan, Zahedan, IranAkbarGolchinDepartment of Mathematics, University of Sistan and Baluchestan, Zahedan, IranHosseinMohammadzadehDepartment of Mathematics, University of Sistan and Baluchestan, Zahedan, IranJournal Article20161223In this paper first of all we introduce Property $U$-($G$-$PWP$) of acts, which is an extension of Condition $(G$-$PWP)$ and give some general properties. Then we give a characterization of monoids when this property of acts implies some others. Also we show that the strong (faithfulness, $P$-cyclicity) and ($P$-)regularity of acts imply the property $U$-($G$-$PWP$). Finally, we give a necessary and sufficient condition under which all (cyclic, finitely generated) right acts or all (strongly, $Re$-) torsion free (cyclic, finitely generated) right acts satisfy Property $U$-($G$-$PWP$).Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101A Universal Investigation of $n$-representations of $n$-quivers691066357610.29252/cgasa.10.1.69ENAdnanAbdulwahidMathematics Department, College of Computer Sciences and Mathematics, University of Thi-Qar, IraqJournal Article20171222noindent We have two goals in this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the monoidal categories of $n$-representations of quivers. Second, for any given quivers $mathit{Q}_1$,$mathit{Q}_2$,..., $mathit{Q}_n$, we construct a new quiver $mathscr{Q}_{!_{(mathit{Q}_1, mathit{Q}_2,..., mathit{Q}_n)}}$, called an $n$-quiver, and identify each category $Rep_k(mathit{Q}_j)$ of representations of a quiver $mathit{Q}_j$ as a full subcategory of the category $Rep_k(mathscr{Q}_{!_{(mathit{Q}_1, mathit{Q}_2,..., mathit{Q}_n)}})$ of representations of $mathscr{Q}_{!_{(mathit{Q}_1, mathit{Q}_2,..., mathit{Q}_n)}}$ for every $j in {1,2,ldots , n}$.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101Mappings to Realcompactifications1071166147410.29252/cgasa.10.1.107ENMehdiParsiniaDepartemant of Mathematics, Shahid Chamran University, Ahvaz, IranJournal Article20170828In this paper, we introduce and study a mapping from the collection of all intermediate rings of $C(X)$ to the collection of all realcompactifications of $X$ contained in $beta X$. By establishing the relations between this mapping and its converse, we give a different approach to the main statements of De et. al. <br />Using these, we provide different answers to the four basic questions raised in Acharyya et.al. Finally, we give some notes on the realcompactifications generated by ideals.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101Applications of the Kleisli and Eilenberg-Moore 2-adjunctions1171567672510.29252/cgasa.10.1.117ENJuan LuisL\'opez HernándezResearch Coordination, CINVCAT, P.O. Box 36620, Irapuato, Gto. M\'exico.Luis JesúsTurcioInstituto de Matemáticas, UNAMAdrianVazquez-MarquezResearch Coordination, Universidad Incarnate Word Campus Bajío, P.O. Box 36821, Irapuato, Gto. M\'exico.Journal Article20180131In 2010, J. Climent Vidal and J. Soliveres Tur developed, among other things, a pair of 2-adjunctions between the 2-category of adjunctions and the 2-category of monads. One is related to the Kleisli adjunction and the other to the Eilenberg-Moore adjunction for a given monad.<br />Since any 2-adjunction induces certain natural isomorphisms of categories, these can be used to classify bijections and isomorphisms for certain structures in monad theory. In particular, one important example of a structure, lying in the 2-category of adjunctions, where this procedure can be applied to is that of a lifting. Therefore, a lifting can be characterized by the associated monad structure,lying in the 2-category of monads, through the respective 2-adjunction. The same can be said for Kleisli extensions.<br />Several authors have been discovered this type of bijections and isomorphisms but these pair of 2-adjunctions can collect them all at once with an extra property, that of naturality.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585310120190101The category of generalized crossed modules1571716989710.29252/cgasa.10.1.157ENMahdiehYavariDepartment of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, IranAlirezaSalemkarDepartment of Mathematics, Shahid Beheshti University, G.C., Tehran 19839, IranJournal Article20180417In the definition of a crossed module $(T,G,rho)$, the actions of the group $T$ and $G$ on themselves are given by conjugation. In this paper, we consider these actions to be arbitrary and thus generalize the concept of ordinary crossed module. Therefore, we get the category ${bf GCM}$, of all generalized crossed modules and generalized crossed module morphisms between them, and investigate some of its categorical properties. In particular, we study the relations between epimorphisms and the surjective morphisms, and thus generalize the corresponding results of the category of (ordinary) crossed modules. By generalizing the conjugation action, we can find out what is the superiority of the conjugation to other actions. Also, we can find out a generalized crossed module with which other actions (other than the conjugation) has the properties same as a crossed module.