Results 31 to 40 of about 276 (101)
On Rees Factor $\mathbf{S}$-Posets Satisfying Conditions $\mathbf{(PWP_{E})}$ or $\mathbf{(PWP_E)_{w}}$ [PDF]
Journal of Mahani Mathematical Research, 2023 Golchin and Rezaei introduced conditions $(PWP)$ and\linebreak $(PWP)_{w}$ in (Subpullbacks and flatness properties of $S$-posets). In this paper, we introduce conditions $(PWP_{E})$ and $(PWP_{E})_{w}$ as generalizations of these conditions ...
Zohre Khaki +2 more
doaj +1 more source
Injective and projective poset acts
Quasigroups And Related Systems, 2023 In this paper, after recalling the category {\bf PosAct}-$S$ of all poset acts over a pomonoid $S$; an $S$-act in the category {\bf Pos} of all posets, with action preserving monotone maps between them, some categorical properties of the category {\bf ...
L. Shahbaz
semanticscholar +1 more source
Adjoint Relations Between the Category of Poset Acts and Some Other Categories
Tamkang Journal of Mathematics, 2022 In this paper, first the congruences in the category PosAct-S of all poset acts over a pomonoid S; an S-act in the category Pos of all posets, with action preserving monotone maps between them, are introduced. Then, we study the existence of the free and
L. Shahbaz
semanticscholar +1 more source
On positive commutative tomonoids [PDF]
, 2016 We discuss totally ordered monoids (or tomonoids, for short) that are commutative, positive, and finitely generated. Tomonoids of this kind correspond to certain preorders on free commutative monoids.
Thomas Vetterlein
core +3 more sources
Axiomatisability problems for S-posets [PDF]
, 2009 Let C be a class of algebras of a given fixed type t. Associated with the type is a first order language L_t. One can then ask the question, when is the class C axiomatisable by sentences of L_t.
Gould, Victoria, Shaheen, Lubna
core +2 more sources
Data-flow analyses as effects and graded monads [PDF]
, 2020 In static analysis, two frameworks have been studied extensively: monotone data-flow analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks, their relationship has remained unclear.
Ivašković, A, Mycroft, A, Orchard, D
core +3 more sources
Dominions, zigzags and epimorphisms for partially ordered semigroups [PDF]
, 2014 We prove an analogue of Isbell's celebrated zigzag theorem for partially ordered semigroups. This theorem provides a useful description of dominions which we employ to describe absolute closedness of posemigroups and epimorphisms in varieties of ...
Sohail, Nasir, Tart, Lauri
core +2 more sources
Generalized relations in linguistics and cognition [PDF]
, 2017 Categorical compositional models of natural language exploit grammatical structure to calculate the meaning of sentences from the meanings of individual words. This approach outperforms conventional techniques for some standard NLP tasks.
Alex Toumi +4 more
core +3 more sources
On categorical aspects of S -quantales
Open Mathematics, 2018 S-quantales are characterized as injective objects in the category of S-posets with respect to certain class of homomorphisms that are order-preserving mappings. This paper is devoted to exhibitions of categorical structures on S-quantales.
Zhang Xia, Zhou Yunyan
doaj +1 more source
Properties of products for flatness in the category of $S$-posets [PDF]
Categories and General Algebraic Structures with Applications, 2016 This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products.
Roghaieh Khosravi, Mojtaba Sedaghatjoo
doaj