Results 41 to 50 of about 276 (101)
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
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
Some properties of pseudo-BCK- and pseudo-BCI-algebras
, 2018 Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero,
Emanovský, Petr, Kühr, Jan
core +1 more source
Order dense injectivity of $S$-posets [PDF]
Categories and General Algebraic Structures with Applications, 2015 In this paper, the notion of injectivity with respect to order dense embeddings in the category of $S$-posets, posets with a monotone action of a pomonoid $S$ on them, is studied.
Leila Shahbaz
doaj
Totally ordered commutative monoids [PDF]
, 2001 A totally ordered monoid - or tomonoid, for short - is a commutative semigroup with identity S equipped with a total order ≤s that is translation invariant, i.e., that satisfies: ∀x, y, z ∈, x ≤s y ⇒ x + z ≤s y + z.
Evans, K. +4 more
core +2 more sources
Some more axiomatisability for S-acts [PDF]
, 2010 This paper discusses necessary and sufficient conditions on a monoid S, such that the class of C-flat left $S$-acts is axiomatisable, where C is the class of all embeddings (of right ideals into S) of right S-acts.
Shaheen, Lubna
core
On Morita equivalence of partially ordered semigroups with local units [PDF]
, 2011 We show that for two partially ordered semigroups S and T with common local units, there exists a unitary Morita context with surjective maps if and only if the categories of closed right S- and T-posets are ...
Tart, Lauri
core +2 more sources
Weak Factorization System for Actions of Po-monoids on Posets [PDF]
, 2015 Let $S$ be a pomonoid. In this paper, {\bf Pos}-$S$, the category of $S$-posets and $S$-poset maps, is considered. One of the main aims of this paper is to draw attention to the notion of weak factorization systems in {\bf Pos}-$S.$ We show that if the ...
Farsad, Farideh, Madanshekaf, Ali
core