Year: 2026
Type: preprint
Abstract: It is well known that the polymorphism clone of a quasiorder is determined by its unary part, in the sense that any operation is a polymorphism if it satisfies the condition that all unary functions obtained by fixing some of its variables at constant values are polymorphisms. We show that a clone satisfies an analogous property for a particular fixed arity $d$ if and only if it is determined by a collection of what we call higher-dimensional generalized quasiorders whose dimension is equal to $d$. We define higher-dimensional generalized quasiorders with the appropriate generalizations of reflexivity and transitivity to the higher-dimensional setting, which rely on an explicit analysis of 'rectangular' arity.
Source: arXiv (Cornell University)
Authors: Moorhead, Andrew, Pöschel, Reinhard
Institution: Technische Universität Dresden
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: European Commission
Award: G1304993860
OpenAlex ID: W7212019667