Concrete Dualities and Essential Arities

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.

[1]  Ross Willard,et al.  Essential arities of term operations in finite algebras , 1996, Discret. Math..

[2]  Vera Trnková,et al.  All clones are centralizer clones , 2009 .

[3]  Brian A. Davey,et al.  Natural dualities for structures , 2007 .

[4]  D. Geiger.  CLOSED SYSTEMS OF FUNCTIONS AND PREDICATES , 1968 .

[5]  Vera Trnková,et al.  Essential operations in centralizer clones , 2008 .

[6]  David M. Clark,et al.  Natural Dualities for the Working Algebraist , 1998 .

[7]  Hilary A. Priestley,et al.  Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[8]  J. Lambek,et al.  A general Stone-Gel’fand duality , 1979 .

[9]  R. Raphael,et al.  ISBELL DUALITY , 2008 .

[10]  Andrzej Kisielewicz,et al.  A survey of some open problems on $p_n$-sequences and free spectra of algebras and varieties , 1992 .

[11]  John W. Snow.  Generating primitive positive clones , 2000 .

[12]  Miguel Couceiro,et al.  A Survey on the Arity Gap , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.

[13]  Arto Salomaa,et al.  On essential variables of functions, especially in the algebra of logic , 1964 .

[14]  Sebastian Kerkhoff.  On essential variables of dual operations and the consequences for operations , 2013 .

[15]  Hans-Jürgen Bandelt,et al.  Median algebras , 1983, Discret. Math..

[16]  Stanley Burris,et al.  Finitely many primitive positive clones , 1987 .

[17]  Keith A. Kearnes,et al.  Finite algebras of finite complexity , 1999, Discret. Math..

[18]  H. Simmons,et al.  A couple of triples , 1982 .

[19]  Sebastian Kerkhoff.  A general Galois theory for operations and relations in arbitrary categories , 2012 .

[20]  L. A. Kaluzhnin,et al.  Galois theory for post algebras. I , 1969 .

[21]  J. Isbell.  General Functorial Semantics, I , 1972 .