Page 1

Displaying 1 – 10 of 10

Showing per page

Finite atomistic lattices that can be represented as lattices of quasivarieties

K. Adaricheva, Wiesław Dziobiak, V. Gorbunov (1993)

Fundamenta Mathematicae

We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].

Finitely generated almost universal varieties of 0 -lattices

Václav Koubek, Jiří Sichler (2005)

Commentationes Mathematicae Universitatis Carolinae

A concrete category 𝕂 is (algebraically) universal if any category of algebras has a full embedding into 𝕂 , and 𝕂 is almost universal if there is a class 𝒞 of 𝕂 -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of 0 -lattices which are almost universal.

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 1 – 10 of 10

Page 1