Relativized universal algebra via partial Horn logic
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_ | 1866914430216830976 |
|---|---|
| author | Kawase, Yuto |
| author_facet | Kawase, Yuto |
| contents | Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic theories are equivalent to finitary monads on $\mathbf{Set}$. In this paper, using partial Horn theories, we syntactically generalize such an equivalence to arbitrary locally presentable categories from $\mathbf{Set}$; the corresponding algebraic concepts relative to locally presentable categories are called relative algebraic theories. Finally, we give a framework for universal algebra relative to locally presentable categories by generalizing Birkhoff's variety theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_19661 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Relativized universal algebra via partial Horn logic Kawase, Yuto Category Theory 18C10, 18C15, 18C35, 18E45 Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic theories are equivalent to finitary monads on $\mathbf{Set}$. In this paper, using partial Horn theories, we syntactically generalize such an equivalence to arbitrary locally presentable categories from $\mathbf{Set}$; the corresponding algebraic concepts relative to locally presentable categories are called relative algebraic theories. Finally, we give a framework for universal algebra relative to locally presentable categories by generalizing Birkhoff's variety theorem. |
| title | Relativized universal algebra via partial Horn logic |
| topic | Category Theory 18C10, 18C15, 18C35, 18E45 |
| url | https://arxiv.org/abs/2403.19661 |