Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910600863416320 |
|---|---|
| author | Barto, Libor Kapytka, Maryia |
| author_facet | Barto, Libor Kapytka, Maryia |
| contents | We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to both coordinates have at most two elements. This class can be alternatively described up to minion homomorphisms as the class of multisorted Boolean clones determined by binary relations. We also introduce and apply the concept of a minion core which provides canonical representatives for equivalence classes of clones, more generally minions, on finite sets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_16513 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms Barto, Libor Kapytka, Maryia Combinatorics Logic 08B05, 03B50, 08A70 We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to both coordinates have at most two elements. This class can be alternatively described up to minion homomorphisms as the class of multisorted Boolean clones determined by binary relations. We also introduce and apply the concept of a minion core which provides canonical representatives for equivalence classes of clones, more generally minions, on finite sets. |
| title | Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms |
| topic | Combinatorics Logic 08B05, 03B50, 08A70 |
| url | https://arxiv.org/abs/2407.16513 |