Informace o publikaci
Discrete Lawvere theories and monads
| Autoři | |
|---|---|
| Rok publikování | 2026 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | 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 |
| Klíčová slova | Enriched strongly finitary monads; enriched discrete Lawvere theories |
| Přiložené soubory | |
| Popis | 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. |
| Související projekty: |