Discrete Lawvere theories and monads
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911402711580672 |
|---|---|
| author | Rosický, Jiří |
| author_facet | Rosický, Jiří |
| contents | We show that, under certain assumptions, strongly finitary enriched monads are given by discrete enriched Lawvere theories. On the other hand, monads given by discrete enriched Lawvere theories preserve surjections. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_02841 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Discrete Lawvere theories and monads Rosický, Jiří Category Theory We show that, under certain assumptions, strongly finitary enriched monads are given by discrete enriched Lawvere theories. On the other hand, monads given by discrete enriched Lawvere theories preserve surjections. |
| title | Discrete Lawvere theories and monads |
| topic | Category Theory |
| url | https://arxiv.org/abs/2411.02841 |