Free groupoids with . II.
Free Objects in Primitive Varieties of N-groupoids
Free -distributive lattice over an -element chain.
Free Suslin algebras
Free systems of algebras and ultraclosed classes.
Free Term Algebras
We interoduce a new characterization of algebras of normal forms of term rewriting systems [35] as algerbras of term free in itself (any function from free generators into the algebra generates endomorphism of the algebra). Introduced algebras are free in classes of algebras satisfying some sets of equalities. Their universes are subsets of all terms and the denotations of operation symbols are partially identical with the operations of construction of terms. These algebras are compiler algebras...
Functorial algebras and automata
General algebraic geometry and formal concept analysis.
Generalizing substitution
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete iterativeness),...
Generalizing Substitution
It is well known that, given an endofunctor H on a category C , the initial (A+H-)-algebras (if existing), i.e. , the algebras of (wellfounded) H-terms over different variable supplies A, give rise to a monad with substitution as the extension operation (the free monad induced by the functor H). Moss [17] and Aczel, Adámek, Milius and Velebil [12] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
Generators of free universal algebras.
Independent basis for the identities of entropic groupoids
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Iterative nondeterministic algebras
Korrekturen zur Arbeit: Über die Existenz von freien Algebren. Math. Z. 106, 312 - 320 (1968).
Left-distributive embedding algebras.
Limits and colimits in generalized algebraic categories
-solid varieties and -free clones
Modular groupoids
Multiple left distributive systems
We describe the free objects in the variety of algebras involving several mutually distributive binary operations. Also, we show how an associative operation can be constructed on such systems in good cases, thus obtaining a two way correspondence between LD-monoids (sets with a left self-distributive and a compatible associative operation) and multi-LD-systems (sets with a family of mutually distributive operations).