Article ID Journal Published Year Pages File Type
4598216 Journal of Pure and Applied Algebra 2007 11 Pages PDF
Abstract

A category is said to be alg-universal if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Preview
The category of varieties and interpretations is alg-universal
Authors
,