Publication details
Discrete Lawvere theories and monads
| Authors | |
|---|---|
| Year of publication | 2026 |
| Type | Article in Periodical |
| Magazine / Source | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| MU Faculty or unit | |
| Citation | |
| web | https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/discrete-lawvere-theories-and-monads/7400504A6B2E2E78E80E8921404CC6C4 |
| Doi | https://doi.org/10.1017/S0960129525100443 |
| Keywords | Enriched strongly finitary monads; enriched discrete Lawvere theories |
| Attached files | |
| Description | 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. |
| Related projects: |