Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.11479 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913842697601024 |
|---|---|
| author | Přenosil, Adam Tsinakis, Constantine |
| author_facet | Přenosil, Adam Tsinakis, Constantine |
| contents | We study the (restricted) Nagata product construction, which produces a partially ordered semigroup from a bimodule consisting of a partially ordered semigroup acting on a (pointed) join semilattice. A canonical example of such a bimodule is given by a residuated lattice acting on itself by division, in which case the Nagata product coincides with the so-called twist product of the residuated lattice. We show that, given some further structure, a pointed bimodule can be reconstructed from its restricted Nagata product. This yields an adjunction between the category of cyclic pointed residuated bimodules and a certain category of posemigroups with additional structure, which subsumes various known adjunctions involving the twist product construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_11479 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nagata products of bimodules over residuated lattices Přenosil, Adam Tsinakis, Constantine Logic We study the (restricted) Nagata product construction, which produces a partially ordered semigroup from a bimodule consisting of a partially ordered semigroup acting on a (pointed) join semilattice. A canonical example of such a bimodule is given by a residuated lattice acting on itself by division, in which case the Nagata product coincides with the so-called twist product of the residuated lattice. We show that, given some further structure, a pointed bimodule can be reconstructed from its restricted Nagata product. This yields an adjunction between the category of cyclic pointed residuated bimodules and a certain category of posemigroups with additional structure, which subsumes various known adjunctions involving the twist product construction. |
| title | Nagata products of bimodules over residuated lattices |
| topic | Logic |
| url | https://arxiv.org/abs/2505.11479 |