In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

in this paper we construct the category of coverings of fundamental generalized lie group-groupoid associatedwith a connected generalized lie group. we show that this category is equivalent to the category of coverings of aconnected generalized lie group. in addition, we prove the category of coverings of generalized lie groupgroupoidand the category of actions of this generalized lie group-gro...

Temporariness has become an increasingly salient feature in international migration that presents itself as fragmented, non-linear, including different intermediate stops and multiple returns new departures. This special issue proposes a analytical framework brings together the role of policies defining migrants temporary migrant’s own agency perceiving their project or permanent. The proposed ...