scholarly journals Finitary monads on the category of posets

2021 ◽  
pp. 1-23
Author(s):  
Jiří Adámek ◽  
Chase Ford ◽  
Stefan Milius ◽  
Lutz Schröder
Keyword(s):  
Free Algebra ◽  
Ordered Algebras

Abstract Finitary monads on Pos are characterized as precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analogously, finitary enriched monads on Pos are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.

Completions of ordered magmas

1980 ◽  
Vol 3 (1) ◽  
pp. 105-116
Author(s):  
Bruno Courcelle ◽  
Jean-Claude Raoult
Keyword(s):  
Programming Languages ◽  
Semantics Of Programming Languages ◽  
Ordered Algebras ◽  
Completion Theorem

We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results follow. The semantics of programming languages is the motivation of such investigations.

Finitely generated free Heyting algebras

1986 ◽  
Vol 51 (1) ◽  
pp. 152-165 ◽  
Author(s):  
Fabio Bellissima
Keyword(s):  
Free Algebra ◽  
Kripke Semantics ◽  
Heyting Algebras ◽  
Free Algebras ◽  
Finitely Generated ◽  
Algebraic Properties

AbstractThe aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of “special elements” of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.

scholarly journals Amalgamation and interpolation in ordered algebras

2014 ◽  
Vol 402 ◽  
pp. 21-82 ◽  
Author(s):  
George Metcalfe ◽  
Franco Montagna ◽  
Constantine Tsinakis
Keyword(s):  
Ordered Algebras

scholarly journals Probabilist Set Inversion using Pseudo-Intervals Arithmetic

2014 ◽  
Vol 15 (1) ◽  
pp. 097
Author(s):  
Abdelouahab KENOUFI
Keyword(s):  
Vector Space ◽  
Free Algebra ◽  
Interval Arithmetic ◽  
Semi Group ◽  
Numerical Examples ◽  
Inclusion Function ◽  
Python Programming

<pre><!--StartFragment-->In this paper, we present how to use an interval arithmetic framework based on free algebra construction, in order to build better defined inclusion function for interval semi-group and for its associated vector space. One introduces the <span>psi</span>-algorithm, which performs set inversion of functions and exhibits some numerical examples developed with the python programming langage<!--EndFragment--></pre>.

scholarly journals Supersymmetric gauge theories with a free algebra of invariants

1998 ◽  
Vol 531 (1-3) ◽  
pp. 507-524 ◽  
Author(s):  
Gustavo Dotti ◽  
Aneesh V. Manohar ◽  
Witold Skiba
Keyword(s):  
Free Algebra ◽  
Gauge Theories ◽  
Supersymmetric Gauge Theories ◽  
Supersymmetric Gauge
Sign in / Sign up

Export Citation Format

Share Document