FINITE THURSTON-TYPE ORDERINGS ON DUAL BRAID MONOIDS [PDF]
For a finite Thurston-type ordering < of the braid group Bn, we introduce a new normal form of a dual positive braid which we call the [Formula: see text]-normal form, which is useful to compute the ordering. This normal form extends Fromentin's rotating normal form and the author's [Formula: see text]-normal form of positive braids.
openaire +2 more sources
Monoids of Intervals of Ordered Abelian Groups
For any partially ordered abelian group G, we relate the structure of the ordered monoid ?(G) of intervals of G (i.e., nonempty, upward directed lower subsets of G), to various properties of G, as for example interpolation properties, or topological properties of the state space when G has an order-unit.
openaire +2 more sources
Resource convertibility and ordered commutative monoids [PDF]
Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For example, information theory studies the conversion of a noisy communication channel instance into an exchange of ...
openaire +3 more sources
The monoid-now: a category theoretic approach to the structure of phenomenological time-consciousness. [PDF]
Taguchi S, Saigo H.
europepmc +1 more source
On the algebraic structure of Pythagorean triples
A Pythagorean triple is an ordered triple of integers (a,b,c) ≠ (0, 0, 0) such that a^2 + b^2 = c^2. It is well known that the set ℘ of all Pythagorean triples has an intrinsic structure of commutative monoid with respect to a suitable binary operation (℘
Giuseppina Anatriello, Giovanni Vincenzi
doaj +1 more source
What is category theory to cognitive science? Compositional representation and comparison. [PDF]
Phillips S.
europepmc +1 more source
Ordered Monoids: Languages and Relations
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as well.
openaire +2 more sources
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Couceiro M, Duffus D.
europepmc +1 more source
Brauer and partition diagram models for phylogenetic trees and forests. [PDF]
Francis A, Jarvis PD.
europepmc +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
Dawood H, Megahed N.
europepmc +1 more source

