@article {
author = {},
title = {Cover for Vol. 13, No. 1.},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {-},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {},
abstract = {},
keywords = {},
url = {http://cgasa.sbu.ac.ir/article_87550.html},
eprint = {http://cgasa.sbu.ac.ir/article_87550_62feec11c5bb913a40e10e34a343e4c1.pdf}
}
@article {
author = {Xarez, Isabel A. and Xarez, Joao J.},
title = {Product preservation and stable units for reflections into idempotent subvarieties},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {1-22},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.1},
abstract = {We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units if and only if it is simple and the above-mentioned condition holds.},
keywords = {Semi-left-exactness,stable units,simple reflection,preservation of finite products,varieties of universal algebras,idempotent},
url = {http://cgasa.sbu.ac.ir/article_87414.html},
eprint = {http://cgasa.sbu.ac.ir/article_87414_21aaa0f023a24966934d960fd660049a.pdf}
}
@article {
author = {Salemkar, Alireza and Fakhr Taha, Tahereh},
title = {The non-abelian tensor product of normal crossed submodules of groups},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {23-44},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.23},
abstract = {In this article, the notions of non-abelian tensor and exterior products of two normal crossed submodules of a given crossed module of groups are introduced and some of their basic properties are established. In particular, we investigate some common properties between normal crossed modules and their tensor products, and present some bounds on the nilpotency class and solvability length of the tensor product, provided such information is given at least on one of the normal crossed submodules.},
keywords = {crossed module,tensor product,exterior product},
url = {http://cgasa.sbu.ac.ir/article_87437.html},
eprint = {http://cgasa.sbu.ac.ir/article_87437_55a6a4a828cc8ed4eb375482f9b02c63.pdf}
}
@article {
author = {Gurican, Jaroslav},
title = {Distributive lattices with strong endomorphism kernel property as direct sums},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {45-54},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.45},
abstract = {Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see TheoremÂ 2.8}). We shall determine the structure of special elements (which are introduced afterÂ Theorem 2.8 under the name strong elements) and show that these lattices can be considered as a direct product of three lattices, a lattice with exactly one strong element, a lattice which is a direct sum of 2 element lattices with distinguished elements 1 and a lattice which is a direct sum of 2 element lattices with distinguished elements 0, and the sublattice of strong elements is isomorphic to a product of last two mentioned lattices.},
keywords = {unbounded distributive lattice,strong endomorphism kernel property,congruence relation,bounded Priestley space,Priestley duality,strong element,direct sum},
url = {http://cgasa.sbu.ac.ir/article_87512.html},
eprint = {http://cgasa.sbu.ac.ir/article_87512_30a0285f83407ee46e5bc8449eb777a0.pdf}
}
@article {
author = {Keshvardoost, Khadijeh and Mahmoudi, Mojgan},
title = {Separated finitely supported $Cb$-sets},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {55-82},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.55},
abstract = {The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists an element of the monoid $Cb$ which separates them by making just one of them into an element with the empty support.In this paper, we generalize these properties of simple finitely supported $Cb$-sets by modifying slightly the notion of the support map; defining the notion of $\mathsf{2}$-equivariant support map; and introducing the notions of s-separated and z-separated finitely supported $Cb$-sets. We show that the notions of s-separated and z-separated coincide for a finitely supported $Cb$-set whose support map is $\mathsf{2}$-equivariant. Among other results, we find a characterization of simple s-separated (or z-separated) finitely supported $Cb$-sets. Finally, we show that some subcategories of finitely supported $Cb$-sets with injective equivariant maps which constructed applying the defined notions are reflective.},
keywords = {Finitely supported $Cb$-sets,nominal set,$S$-set,support,simple},
url = {http://cgasa.sbu.ac.ir/article_87413.html},
eprint = {http://cgasa.sbu.ac.ir/article_87413_0b1bd3b91cc24e487df84a5e89e77f28.pdf}
}
@article {
author = {Carrera, Ricardo E. and Hager, Anthony W.},
title = {A classification of hull operators in archimedean lattice-ordered groups with unit},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {83-104},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.83},
abstract = {The category, or class of algebras, in the title is denoted by $\bf W$. A hull operator (ho) in $\bf W$ is a reflection in the category consisting of $\bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $\bf hoW$. The bounded monocoreflection in $\bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function $w: {\bf hoW} \longrightarrow {\bf W}^{\bf W}$ obtained as a finite composition of $B$ and $x$ a variable ranging in $\bf hoW$. The set of these,``Word'', is in a natural way a partially ordered semigroup of size $6$, order isomorphic to ${\rm F}(2)$, the free $0-1$ distributive lattice on $2$ generators. Then, $\bf hoW$ is partitioned into $6$ disjoint pieces, by equations and inequations in words, and each piece is represented by a characteristic order-preserving quotient of Word ($\approx {\rm F}(2)$). Of the $6$: $1$ is of size $\geq 2$, $1$ is at least infinite, $2$ are each proper classes, and of these $4$, all quotients are chains; another $1$ is a proper class with unknown quotients; the remaining $1$ is not known to be nonempty and its quotients would not be chains.},
keywords = {lattice-ordered group,Archimedean,weak unit,bounded monocoreflection,essential extension,hull operator,partially ordered semigroup},
url = {http://cgasa.sbu.ac.ir/article_87552.html},
eprint = {http://cgasa.sbu.ac.ir/article_87552_9aa6961ac859a3c87241c8124af70410.pdf}
}
@article {
author = {Moghbeli, Halimeh},
title = {The symmetric monoidal closed category of cpo $M$-sets},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {105-124},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.105},
abstract = {In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.},
keywords = {Directed complete partially ordered set,$M$-sets,symmetric monoidal closed category},
url = {http://cgasa.sbu.ac.ir/article_87434.html},
eprint = {http://cgasa.sbu.ac.ir/article_87434_145bf46136675b89ce591ca594d1d767.pdf}
}
@article {
author = {Temel, Sedat},
title = {Crossed squares, crossed modules over groupoids and cat$^{\bf {1-2}}-$groupoids},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {125-142},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.125},
abstract = {The aim of this paper is to introduce the notion of cat$^{\bf {1}}-$groupoids which are the groupoid version of cat$^{\bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{\bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{\bf {2}}-$groupoids, and then we show their categories are equivalent. These equivalences enable us to obtain more examples of groupoids.},
keywords = {crossed module,crossed square,groupoid,cat$^{bf {1}}-$group,cat$^{bf {2}}-$group},
url = {http://cgasa.sbu.ac.ir/article_87511.html},
eprint = {http://cgasa.sbu.ac.ir/article_87511_b595acc78c30c8580458ad2fc0331d2f.pdf}
}
@article {
author = {Hashemi, Mohammad Ali and Borzooei, Rajabali},
title = {Tense like equality algebras},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {143-166},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {10.29252/cgasa.13.1.143},
abstract = {In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense like equality algebra structure can be transfer by this equality homomorphism. Specially, by using a bounded involutive equality algebra and quotient structure of it, we construct a quotient tense like equality algebra. Finally, we investigate the relation between tense like equality algebras and tense MV-algebras.},
keywords = {Equality algebra,tense like equality algebra,MV-algebra},
url = {http://cgasa.sbu.ac.ir/article_87465.html},
eprint = {http://cgasa.sbu.ac.ir/article_87465_fbdaeb016643b69d9b4700b7777de277.pdf}
}
@article {
author = {},
title = {Persian Abstracts, Vol. 13, No. 1.},
journal = {Categories and General Algebraic Structures with Applications},
volume = {13},
number = {1},
pages = {-},
year = {2020},
publisher = {Shahid Beheshti University},
issn = {2345-5853},
eissn = {2345-5861},
doi = {},
abstract = {},
keywords = {},
url = {http://cgasa.sbu.ac.ir/article_87551.html},
eprint = {http://cgasa.sbu.ac.ir/article_87551_00a87c77b29dc3faa943fee8c36b83d2.pdf}
}