Dualizing Clones as Models of Lawvere Theories

While universal algebraists are well aware of the equivalence between abstract clones and Lawvere theories as well as that of concrete clones and models of Lawvere theories in the category of sets, they almost never use the category-theoretic framework. It seems as if they simply do not see a reason why it might be beneficial to use category theory in order to study the problems that they are interested in. In this paper, we argue that the possibility of applying duality theory might be such a reason, and we support this claim by outlining how treating and dualizing clones as models of Lawvere theories can be beneficial for the classical problem of studying the lattice of clones on a given set. In particular, we give several examples of concrete results that are obtained with this method.

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

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

[3]  Sebastian Kerkhoff.  A Connection between Clone Theory and FCA Provided by Duality Theory , 2012, ICFCA.

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

[5]  George Gratzer,et al.  Universal Algebra , 1979 .

[6]  R. McKenzie,et al.  Algebras, Lattices, Varieties , 1988 .

[7]  Reinhard Pöschel,et al.  Funktionen- und Relationenalgebren , 1979 .

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

[9]  Martin Goldstern,et al.  A survey of clones on infinite sets , 2006 .

[10]  K. A. Baker,et al.  Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems , 1975 .

[11]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[12]  Dragan Mašulović.  On clones of operations over finite boolean algebras , 2008 .

[13]  Emil L. Post.  The two-valued iterative systems of mathematical logic , 1942 .

[14]  Miguel Couceiro.  Galois Connections for Generalized Functions and Relational Constraints , 2005 .

[15]  S. Lane.  Categories for the Working Mathematician , 1971 .

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

[17]  Ágnes Szendrei,et al.  Clones in universal algebra , 1986 .

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

[19]  I. Rosenberg.  MINIMAL CLONES I: THE FIVE TYPES , 1986 .

[20]  Dragan Masulovic.  On Dualizing Clones as Lawvere Theories , 2006, Int. J. Algebra Comput..

[21]  Walter Taylor,et al.  Characterizing Mal’cev conditions , 1973 .

[22]  D. Lau,et al.  Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics) , 2006 .

[23]  W. Taylor.  Abstract Clone Theory , 1993 .

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

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

[26]  Sebastian Kerkho.  A Generalized version of the Baker-Pixley Theorem , 2012 .

[27]  Reinhard Pöschel,et al.  A general Galois theory for cofunctions and corelations , 2000 .

[28]  Věra Trnková.  Clones of topological spaces , 2012 .

[29]  Walter Taylor,et al.  The clone of a topological space , 1986 .

[30]  Sebastian Kerkhoff.  A General duality Theory for Clones , 2013, Int. J. Algebra Comput..

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

[32]  Ivo G. Rosenberg,et al.  A classification of universal algebras by infinitary relations , 1971 .

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

[34]  John Power,et al.  Electronic Notes in Theoretical Computer Science:Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013) , 2014 .