Results 21 to 30 of about 154 (86)
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
A characterization of a pomonoid $S$ all of its cyclic $S$-posets are regular injective [PDF]
Categories and General Algebraic Structures with Applications, 2013 This work is devoted to give a charcaterization of a pomonoid $S$ such that all cyclic $S$-posets are regular injective.
Xia Zhang, Wenling Zhang, Ulrich Knauer
doaj
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
Unifying graded and parameterised monads [PDF]
, 2020 Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model of effects by ...
Eades, Harley +2 more
core +2 more sources
On (po-)torsion free and principally weakly (po-)flat $S$-posets [PDF]
Categories and General Algebraic Structures with Applications, 2018 In this paper, we first consider (po-)torsion free and principally weakly (po-)flat $S$-posets, specifically we discuss when (po-)torsion freeness implies principal weak (po-)flatness.
Roghaieh Khosravi, Xingliang Liang
doaj
An Abstract Approach to Consequence Relations
, 2019 We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence.
Cintula, Petr +3 more
core +1 more source
ON COMMUTATIVE RESIDUAL POMONOIDS
Demonstratio Mathematica, 1998 Summary: We prove the following results: Commutative residual pomonoids with the identity as a maximal element are categorically equivalent to BCI-algebras with condition (S); commutative residual pomonoids with the identity as the greatest element, commutative implicative semigroups, and BCK-algebras with condition (S) are categorically equivalent to ...
openaire +1 more source
An alternative Gospel of structure: order, composition, processes
, 2013 We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school. These structures are orders, with or without composition, and (symmetric) monoidal categories.
Coecke, Bob
core +1 more source
REGULAR INJECTIVITY AND EXPONENTIABILITY IN THE SLICE CATEGORIES OF ACTIONS OF POMONOIDS ON POSETS [PDF]
Journal of the Korean Mathematical Society, 2015 Abstract. For a pomonoid S, let us denote Pos-S the category ofS-posets and S-poset maps. In this paper, we consider the slice cate-gory Pos-S/B for an S-poset B,and study some categorical ingredients.We first show that there is no non-trivial injective object in Pos-S/B.Then we investigate injective objects with respect to the class of regu-lar ...
Farideh Farsad, Ali Madanshekaf
openaire +1 more source
Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts
Journal of Algebra, 1997 Let \(\langle A;\oplus ,0,\leq \rangle\) be a commutative (dually) integral partially ordered monoid whose identity \(0\) is the least element of \(\langle A,\leq \rangle\), where \(\leq\) is a partial order compatible with the monoid operation \(\oplus\) in the sense that \(a\oplus b\leq c\oplus d\) whenever \(a\leq c\) and \(b\leq d\).
Blok, Willem J., Raftery, James G.
openaire +2 more sources