Higher-dimensional generalized quasiorders
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.07339
curl -X POST /api/v1/records/arxiv/2609.07339/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.07339/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'