Discrete equational theories
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915099577417728 |
|---|---|
| author | Rosický, Jiří |
| author_facet | Rosický, Jiří |
| contents | We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2204_02590 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Discrete equational theories Rosický, Jiří Category Theory We introduce discrete equational theories where operations are induced by those having discrete arities. We characterize the corresponding monads as monads preserving surjections. Using it, we prove Birkhoff type theorems for categories of algebras of discrete theories. This extends known results from metric spaces to general symmetric monoidal closed categories. |
| title | Discrete equational theories |
| topic | Category Theory |
| url | https://arxiv.org/abs/2204.02590 |