Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701Abundant semigroups with medial idempotents1348749610.52547/cgasa.15.1.1ENAbdulsalam El-QallaliDepartment of Mathematics, Faculty of Science, University of Tripoli, Tripoli, LibyaJournal Article20200515The effect of the existence of a medial or related idempotent in any abundant semigroup is the subject of this paper. The aim is to naturally order any abundant semigroup $S$ which contains an ample multiplicative medial idempotent $u$ in a way that $\mathcal{L}^*$ and $\mathcal{R}^*$ are compatible with the natural order and $u$ is a maximum idempotent. The structure of an abundant semigroup containing an ample normal medial idempotent studied in \cite{item6} will be revisited.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701Pre-image of functions in $C(L)$355810069110.52547/cgasa.15.1.35ENAli Rezaei AliabadDepartment of Mathematics, Shahid Chamran University of Ahvaz, Ahvaz, Iran0000-0003-1293-3652Morad MahmoudiDepartment of of Mathematics, Shahid Chamran University of Ahvaz, Ahvaz, IranJournal Article20210206Let $C(L)$ be the ring of all continuous real functions on a frame $L$ and $S\subseteq{\mathbb R}$. An $\alpha\in C(L)$ is said to be an overlap of $S$, denoted by $\alpha\blacktriangleleft S$, whenever $u\cap S\subseteq v\cap S$ implies $\alpha(u)\leq\alpha(v)$ for every open sets $u$ and $v$ in $\mathbb{R}$. This concept was first introduced by A. Karimi-Feizabadi, A.A. Estaji, M. Robat-Sarpoushi in {\it Pointfree version of image of real-valued continuous functions} (2018). Although this concept is a suitable model for their purpose, it ultimately does not provide a clear definition of the range of continuous functions in the context of pointfree topology. In this paper, we will introduce a concept which is called pre-image, denoted by ${\rm pim}$, as a pointfree version of the image of real-valued continuous functions on a topological space $X$. We investigate this concept and in addition to showing ${\rm pim}(\alpha)=\bigcap\{S\subseteq{\mathbb R}:~\alpha\blacktriangleleft S\}$, we will see that this concept is a good surrogate for the image of continuous real functions. For instance, we prove, under some achievable conditions, we have ${\rm pim}(\alpha\vee\beta)\subseteq {\rm pim}(\alpha)\cup {\rm pim}(\beta)$, ${\rm pim}(\alpha\wedge\beta)\subseteq {\rm pim}(\alpha)\cap {\rm pim}(\beta)$, ${\rm pim}(\alpha\beta)\subseteq {\rm pim}(\alpha){\rm pim}(\beta)$ and ${\rm pim}(\alpha+\beta)\subseteq {\rm pim}(\alpha)+{\rm pim}(\beta)$.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701Flatness properties of acts over semigroups599210106210.52547/cgasa.15.1.59ENValdis LaanInstitute of Mathematics and Statistics, University of Tartu, Tartu, Estonia.Ülo ReimaaInstitute of Mathematics and Statistics, University of Tartu, Tartu, EstoniaLauri TartInstitute of Mathematics and Statistics, University of Tartu, Tartu, EstoniaElery TeorHotel Tartu, Tartu, Estonia.Journal Article20201130In this paper we study flatness properties (pullback flatness, limit flatness, finite limit flatness) of acts over semigroups. These are defined by requiring preservation of certain limits from the functor of tensor multiplication by a given act. We give a description of firm pullback flat acts using Conditions (P) and (E). We also study pure epimorphisms and their connections to finitely presented acts and pullback flat acts. We study these flatness properties in the category of all acts, as well as in the category of unitary acts and in the category of firm acts, which arise naturally in the Morita theory of semigroups. Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701Simplicial structures over the 3-sphere and generalized higher order Hochschild homology9314310106310.52547/cgasa.15.1.93ENSamuel CarolusDepartment of Mathematics, Ohio Northern University, Ohio, United States of AmericaJacob LaubacherDepartment of Mathematics, St. Norbert College, Wisconsin, United States of AmericaJournal Article20191211In this paper, we investigate the simplicial structure of a chain complex associated to the higher order Hochschild homology over the $3$-sphere. We also introduce the tertiary Hochschild homology corresponding to a quintuple $(A,B,C,\varepsilon,\theta)$, which becomes natural after we organize the elements in a convenient manner. We establish these results by way of a bar-like resolution in the context of simplicial modules. Finally, we generalize the higher order Hochschild homology over a trio of simplicial sets, which also grants natural geometric realizations.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701Six model categories for directed homotopy14518110106410.52547/cgasa.15.1.145ENPhilippe GaucherUniversit\'e de Paris, CNRS, IRIF, F-75006, Paris, France.Journal Article20200120We construct a q-model structure, an h-model structure and an m-model structure on multipointed $d$-spaces and on flows. The two q-model structures are combinatorial and left determined and they coincide with the combinatorial model structures already known on these categories. The four other model structures (the two m-model structures and the two h-model structures) are accessible. We give an example of multipointed $d$-space and of flow which are not cofibrant in any of the model structures. We explain why the m-model structures, Quillen equivalent to the q-model structure of the same category, are better behaved than the q-model structures.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701The elementary construction of formal anafunctors18322910113310.52547/cgasa.15.1.183ENDavid MichaelRobertsSchool of Mathematical Sciences, The University of Adelaide, Adelaide, AustraliaJournal Article20210618This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully faithful.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701On epimorphisms and structurally regular semigroups23125310118910.52547/cgasa.15.1.231ENAftab HussainShahDepartment of Mathematics of Central University of Kashmir, Ganderbal, India0000-0003-1143-0199Sakeena BanoDepartment of Mathematics Central University of Kashmir, Ganderbal, IndiaShabir AhmadAhangerDepartment of Mathematics Central University of Kashmir, Ganderbal, IndiaWajih AshrafDepartment of Mathematics, Aligarh Muslim University, Aligarh, IndiaJournal Article20210627In this paper we study epimorphisms, dominions and related<br /> properties for some classes of structurally (n,m)-regular semigroups for any<br /> pair (n,m) of positive integers. In Section 2, after a brief introduction of<br /> these semigroups, we prove that the class of structurallly (n,m)-generalized<br /> inverse semigroups is closed under morphic images. We then prove the main<br /> result of this section that the class of structurally (n,m)-generalized inverse<br /> semigroups is saturated and, thus, in the category of all semigroups, epimorphisms<br /> in this class are precisely surjective morphisms. Finally, in the last<br /> section, we prove that the variety of structurally (o, n)-left regular bands is<br /> saturated in the variety of structurally (o, k)-left regular bands for all positive<br /> integers k and n with 1 ≤ k ≤ n.Shahid Beheshti UniversityCategories and General Algebraic Structures with Applications2345-585315120210701(b, c)-inverse, inverse along an element, and the Schützenberger category of a semigroup25527210119610.52547/cgasa.15.1.255ENXavier MARYLaboratoire Modal’X, Université Paris Nanterre, FranceJournal Article20210703We prove that the (b, c)-inverse and the inverse along an element<br /> in a semigroup are actually genuine inverse when considered as morphisms<br /> in the Schützenberger category of a semigroup. Applications to the Reverse<br /> Order Law are given.