Galois theory for semiclones
arXiv:1509.06355 · doi:10.1007/s00012-016-0407-y
Abstract
We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.
38 pages; supported by the Austrian Science Fund (FWF) under grant I836-N23
References in corpus (4)
- Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
- Galois connection for sets of operations closed under permutation, cylindrification and composition
- Galois theory for semiclones
- On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions