The category of varieties and interpretations is alg-universal

DOI10.1016/J.JPAA.2007.04.001MaRDI QIDQ995628zbMATH OpenOpenAlexWikidataFDO

Authors Libor Barto

Publication date 3 September 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2007.04.001

zbMATH Keywords

alg-universal categoryclonesvarieties

Mathematics Subject Classification ID

Lattices of varieties (08B15) Embedding theorems, universal categories (18B15)

Review text

A functor \(\Phi :{\mathcal K}\rightarrow {\mathcal L}\) is a full embedding if it is bijective on hom-sets. A category \(\mathcal K\) is said to be alg-universal if every category \({\mathcal A}lg (\Sigma )\) of algebras with the signature \(\Sigma \) can be fully embedded into it, or in other words, if it contains an isomorphic copy of \({\mathcal A}lg (\Sigma)\) for every \(\Sigma\). In this paper the author proves that the category of varieties and interpretations (that is, the category of abstract clones and clone homomorphisms) is alg-universal.

Recommendations

• Relative universality and universality obtained by adding constants
• Finitary set endofunctors are alg-universal
• On universal categories of coalgebras
• scientific article; zbMATH DE number 436451
• Finitely generated almost universal varieties of 0-lattices.

Cites work

• Characterizing Mal'cev conditions
• Finitary set endofunctors are alg-universal
• Homomorphisms of Integral Domains of Characteristic Zero
• How comprehensive is the category of semigroups?
• scientific article; zbMATH DE number 3650785 (Why is no real title available?)
• scientific article; zbMATH DE number 3875543 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 1508026 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3332523 (Why is no real title available?)
• On full embeddings of categories of algebras
• On Malcev conditions
• On the endomorphism semigroup (and category) of bounded lattices
• Set Theory
• Some universal properties of the category of clones.
• The lattice of interpretability types of varieties
• Universal Varieties Of (0, 1)-Lattices

Cited in

(5)

• On full and faithful Kan extensions
• Universal topological unary varieties.
• Accessible set functors are universal
• Algebraically universal categories of relational structures
• Finitary set endofunctors are alg-universal

This page was built for publication: The category of varieties and interpretations is alg-universal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995628)