All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2 Next

Displaying 21 – 40 of 152

Showing per page

Coproducts of Ideal Monads

Neil Ghani, Tarmo Uustalu (2010)

RAIRO - Theoretical Informatics and Applications

The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly  [Bull.  Austral. Math. Soc.22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell.2309 (2002)...

Distributive differential modals

Karolina Ślusarska (2008)

Discussiones Mathematicae - General Algebra and Applications

A differential modal is an algebra with two binary operations such that one of the reducts is a differential groupoid and the other is a semilattice, and with the groupoid operation distributing over the semilattice operation. The aim of this paper is to show that the varieties of entropic and distributive differential modals coincide, and to describe the lattice of varieties of entropic differential modals.

Duality for some free modes

Krzysztof J. Pszczoła, Anna B. Romanowska, Jonathan D.H. Smith (2003)

Discussiones Mathematicae - General Algebra and Applications

The paper establishes a duality between a category of free subreducts of affine spaces and a corresponding category of generalized hypercubes with constants. This duality yields many others, in particular a duality between the category of (finitely generated) free barycentric algebras (simplices of real affine spaces) and a corresponding category of hypercubes with constants.

Embedding properties of endomorphism semigroups

João Araújo, Friedrich Wehrung (2009)

Fundamenta Mathematicae

Denote by PSelf Ω (resp., Self Ω) the partial (resp., full) transformation monoid over a set Ω, and by Sub V (resp., End V) the collection of all subspaces (resp., endomorphisms) of a vector space V. We prove various results that imply the following: (1) If card Ω ≥ 2, then Self Ω has a semigroup embedding into the dual of Self Γ iff c a r d Γ ≥ 2 c a r d Ω . In particular, if Ω has at least two elements, then there exists no semigroup embedding from Self Ω into the dual of PSelf Ω. (2) If V is infinite-dimensional, then...

Free Abelian extensions in the congruence-permutable varieties

Pavel Zhdanovich (2002)

Discussiones Mathematicae - General Algebra and Applications

We obtain the construction of free abelian extensions in a congurence-permutable variety V using the construction of a free abelian extension in a variety of algebras with one ternary Mal'cevoperation and a monoid of unary operations. We also use this construction to obtain a free solvable V-algebra.

Free algebras in varieties

Jan Pavlík (2010)

Archivum Mathematicum

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.

Currently displaying 21 – 40 of 152