Title :
Concrete Dualities and Essential Arities
Author_Institution :
Inst. fur Algebra, Tech. Univ. Dresden, Dresden, Germany
Abstract :
Many dualities arise in the same way: they are induced by dualizing objects. We show that these dualities are connected to a question occurring in universal algebra. Indeed, they cause a strong interplay between the essential arity of finitary operations in one category and the concrete form of the copowers in the other. We elaborate on this connection and its usefulness for universal algebra and clone theory in particular. As the paper´s main result we show that, under some mild assumptions, the essential arity of finitary operations from an object A to a finite object B in one category is bounded if and only if the concrete form of the copowers of the dual of A has a certain (easily verifiable) set-theoretic property.
Keywords :
algebra; duality (mathematics); set theory; clone theory; concrete dualities; essential arities; finitary operations; set-theoretic property; universal algebra; Abstracts; Boolean algebra; Cloning; Concrete; Equations; Lattices; concrete duality; dualizing object; essential arity; essential variable; finitary operation;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2014 IEEE 44th International Symposium on
Conference_Location :
Bremen
DOI :
10.1109/ISMVL.2014.17