Functional Galois connections and a classification of symmetric conservative clones with a finite carrier
Abstract
We propose a classification of symmetric conservative clones with a finite carrier. For the study, we use the functional Galois connection (InvQ, PolQ), which is a natural modification of the connection (Inv, Pol) based on the preservation relation between functions f on a set A (of all finite arities) and sets of functions h∈ AQ for an arbitrary set Q.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.