Dualizing clones as models of Lawvere theories.

DOI10.1016/j.entcs.2014.02.005zbMath1341.08002OpenAlexW2043128724WikidataQ113317891 ScholiaQ113317891MaRDI QIDQ280192

Sebastian Kerkhoff

Publication date: 6 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.02.005

zbMATH Keywords

lattices of clonescentralizer clonescoclonesconcrete dualitiescopowersdual operationsessential aritiesidempotent operationsLawvere theoriesPriestley spaces

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (2)

A short introduction to clones. ⋮ Sound and complete equational reasoning over comodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On essential variables of dual operations and the consequences for operations
• Clones of topological spaces
• Essential operations in centralizer clones
• A survey of clones on infinite sets
• On clones of operations over finite Boolean algebras
• All clones are centralizer clones
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Characterizing Mal'cev conditions
• A general Galois theory for cofunctions and corelations
• Generating primitive positive clones
• A general Galois theory for operations and relations in arbitrary categories
• A classification of universal algebras by infinitary relations
• A Connection between Clone Theory and FCA Provided by Duality Theory
• Finitely Many Primitive Positive Clones
• Median Algebra
• A GENERAL DUALITY THEORY FOR CLONES
• Function Algebras on Finite Sets
• ON DUALIZING CLONES AS LAWVERE THEORIES
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Galois Connections for Generalized Functions and Relational Constraints
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Dualizing clones as models of Lawvere theories.