The category of varieties and interpretations is alg-universal

[摘要] 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 alq-universal. (c) 2007 Elsevier B.V. All rights reserved.

[发布日期] 2007-12-01