Products of Boolean Clones up to Minion Homomorphisms GW23NX78SB
| URI | m2://res/GW23NX78SB |
|---|---|
| Kind | preprint |
| Creators | Radek Olšák |
| Date | 2026-09-14 |
| MSC | 16-XX, 05-XX |
| Subjects | arxiv math.RA, arxiv math.CO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-14 |
| Ids | arXiv 2610.12484, zbl_id 903205030 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 1DM91Q20F4 | statement | lemma 4.40 | arxiv |
| 20ZVJC48W8 | statement | lemma 4.7 | arxiv |
| $k$-sorted set | definition | definition 2.9 | arxiv |
| minion core | definition | definition 4.3 | arxiv |
| 2KJ6B99S4C | statement | corollary 4.31 | arxiv |
| 2NS6S7T5D0 | statement | lemma 4.30 | arxiv |
| 334MZQBCWA | statement | corollary 4.27 | arxiv |
| function clone | definition | definition 2.4 | arxiv |
| 388Q7ARV23 | definition | definition 2.3 | arxiv |
| 3KWPWFGPJM | statement | corollary 4.39 | arxiv |
| 3W1S0PWJNQ | statement | lemma 3.17 | arxiv |
| 3YR0F7AYZN | statement | lemma 4.32 | arxiv |
| 44CGZ0THH4 | statement | lemma 3.2 | arxiv |
| 4ZASHQ3PFR | statement | corollary 4.41 | arxiv |
| 54MTXSTEA4 | statement | lemma 3.26 | arxiv |
| compatibility with a relation | definition | definition 2.5 | arxiv |
| 5NXRD8FYM7 | statement | lemma 4.21 | arxiv |
| 63NYM6F35E | statement | lemma 4.15 | arxiv |
| 672K4XGBRM | statement | lemma 4.28 | arxiv |
| 6D5N79BHM1 | statement | lemma 4.38 | arxiv |
| $\UP$ set | definition | definition 3.9 | arxiv |
| $\beta(n,k)$ | definition | definition 4.14 | arxiv |
| minion homomorphism poset | definition | definition 2.28 | arxiv |
| idempotent clone | definition | definition 2.23 | arxiv |
| 837QP2MJJS | statement | lemma 4.22 | arxiv |
| compatibility with set of relations | definition | definition 2.6 | arxiv |
| 8V84Z67M7C | statement | lemma 3.13 | arxiv |
| 8XRN2KY8HE | statement | lemma 4.35 | arxiv |
| core of a clone | definition | definition 4.4 | arxiv |
| $k$-sorted composition | definition | definition 2.12 | arxiv |
| 9GR4XZ75T7 | statement | lemma 3.25 | arxiv |
| 9KR74VS7VF | definition | definition 3.5 | arxiv |
| 9WB9PAKA0B | statement | corollary 4.33 | arxiv |
| A4C1B5Q24V | definition | definition 2.25 | arxiv |
| A54N87JDAD | statement | lemma 4.5 | arxiv |
| A8GQESF7VV | statement | lemma 3.10 | arxiv |
| APB5A0Z5NR | statement | lemma 4.6 | arxiv |
| dual function | definition | definition 4.18 | arxiv |
| ATRRGAMMX6 | statement | lemma 4.13 | arxiv |
| AV75AMDEZF | definition | definition 2.27 | arxiv |
| B5BNT7YWRM | statement | lemma 4.34 | arxiv |
| BV0K811F4J | statement | corollary 4.29 | arxiv |
| join irreducible | definition | definition 3.22 | arxiv |
| C5T42YBMW5 | statement | lemma 4.17 | arxiv |
| $k$-sorted relation | definition | definition 2.15 | arxiv |
| DNHE7CDB4S | statement | lemma 4.42 | arxiv |
| E8MGJPNJDH | statement | lemma 2.26 | arxiv |
| EJRQM0DEQA | statement | lemma 3.15 | arxiv |
| F0FEPJGYHN | statement | lemma 4.24 | arxiv |
| FZ298F9K82 | statement | theorem 3.27 | arxiv |
| $k$-sorted clone | definition | definition 2.14 | arxiv |
| H4Z7JXVG9R | statement | lemma 2.30 | arxiv |
| HFD3V5W3A5 | statement | lemma 3.11 | arxiv |
| $k$-sorted projection | definition | definition 2.13 | arxiv |
| clone product | definition | definition 2.18 | arxiv |
| JBR8CZQWNA | statement | lemma 3.12 | arxiv |
| idempotent function | definition | definition 2.22 | arxiv |
| K9CKTCQ3SZ | statement | lemma 3.16 | arxiv |
| KC4KJMHDCH | statement | lemma 3.18 | arxiv |
| multisorted function minion | definition | definition 4.2 | arxiv |
| MFWF13G6BY | statement | lemma 2.19 | arxiv |
| $k$-sorted function | definition | definition 2.11 | arxiv |
| trivial equivalence | definition | definition 3.6 | arxiv |
| NSZ3S9X7C4 | statement | theorem 2.8 | arxiv |
| NWFJET9V5W | statement | lemma 3.14 | arxiv |
| NX1VQJK31E | statement | lemma 4.8 | arxiv |
| P5SEV9MHTY | statement | lemma 3.24 | arxiv |
| PDYAJ9MX0B | statement | lemma 4.26 | arxiv |
| PSJJBGTAJS | statement | lemma 2.24 | arxiv |
| PVNQYJBVP9 | statement | lemma 4.44 | arxiv |
| permuting variables | definition | definition 4.9 | arxiv |
| Q8QQK58VH9 | statement | lemma 4.36 | arxiv |
| sort | definition | definition 2.10 | arxiv |
| RD6TDZAWYP | statement | lemma 3.23 | arxiv |
| function composition | definition | definition 2.2 | arxiv |
| RTPMB5JDSM | statement | lemma 3.19 | arxiv |
| minor | definition | definition 2.20 | arxiv |
| function minion | definition | definition 4.1 | arxiv |
| SREDK0QCZB | statement | lemma 3.1 | arxiv |
| simple $k$-sorted relation | definition | definition 2.17 | arxiv |
| TQN4M6BCBY | definition | definition 3.7 | arxiv |
| V9W056ATH6 | statement | lemma 4.37 | arxiv |
| VZACNPVDY8 | definition | definition 2.7 | arxiv |
| Notation for specific clones | definition | definition 3.8 | arxiv |
| WC41M35C3A | statement | lemma 3.3 | arxiv |
| WSKDZG4EZP | statement | lemma 4.43 | arxiv |
| compatibility with multisorted relation | definition | definition 2.16 | arxiv |
| critical pair | definition | definition 3.20 | arxiv |
| X2V337NPV4 | statement | lemma 4.23 | arxiv |
| X8QPM0XG3Y | statement | lemma 3.4 | arxiv |
| XKSSWPB4D3 | statement | lemma 4.19 | arxiv |
| XNZ2JMV37E | definition | definition 2.29 | arxiv |
| Y72CE7KMJ9 | statement | corollary 4.25 | arxiv |
| $k$-pseudosymmetric | definition | definition 4.10 | arxiv |
| YN8KW1A1D2 | statement | lemma 4.20 | arxiv |
| meet irreducible | definition | definition 3.21 | arxiv |
| Z0WRQAJ280 | statement | lemma 4.12 | arxiv |
| minion homomorphism | definition | definition 2.21 | arxiv |
| ZW91J01T1F | definition | definition 2.1 | arxiv |
Catalogue records
- arxiv: 2610.12484 (work)
- arxiv_text: 2610.12484 (work)
- zbmath_search: 903205030 (work)