Semilattices with a congruence
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918088408039424 |
|---|---|
| author | Lipparini, Paolo |
| author_facet | Lipparini, Paolo |
| contents | A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence, hence equivalent to the category of semilattice epimorphisms.
Guided by the above example, we recall an ``internal'' characterization of surjective homomorphisms between general relational systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_08446 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Semilattices with a congruence Lipparini, Paolo Rings and Algebras 06A12 (Primary) 54A05, 18A25 (Secondary) A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence, hence equivalent to the category of semilattice epimorphisms. Guided by the above example, we recall an ``internal'' characterization of surjective homomorphisms between general relational systems. |
| title | Semilattices with a congruence |
| topic | Rings and Algebras 06A12 (Primary) 54A05, 18A25 (Secondary) |
| url | https://arxiv.org/abs/2407.08446 |