Finitely generated universal varieties of distributive double -algebras
Finite-to-finite universal varieties of distributive double -algebras
Formulas and ultraproducts in categories
Free algebras in varieties
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.
Free Suslin algebras
From hereditary classes to varieties in abstract model theory and partial algebra
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Generalized varieties of commutative and nilpotent semigroups.
Good functors... are those preserving philosophy !
Hereditary properties of algebras with respect to inductive limits
Homogeneous models and generic extensions.
Homomorphisms of heterogeneous algebras
A construction of all homomorphisms of a heterogeneous algebra into an algebra of the same type is presented. A relational structure is assigned to any heterogeneous algebra, and homomorphisms between these relational structures make it possible to construct homomorphisms between heterogeneous algebras. Homomorphisms of relational structures can be constructed using homomorphisms of algebras that are described in [11].
Homomorphisms of unary algebras and of their expansions
How to make many-sorted algebras one-sorted
HSP subcategories of Eilenberg-Moore algebras.
Hyperidentities in associative graph algebras
Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity s ≈ t if the correspondinggraph algebra A(G) satisfies s ≈ t. A graph G is called associative if the corresponding graph algebra A(G) satisfies the equation (xy)z ≈ x(yz). An identity s ≈ t of terms s and t of any type τ is called a hyperidentity of an algebra A̲ if whenever the operation symbols occurring in s and t are replaced...
Implicit operations on the categories of universal algebras.
Induced algebras
Initial models and Horn clause axiomatizability.
Introduction to coalgebra.