Discrete Lawvere theories and monads
Category Theory
2026-01-28 v1
Abstract
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.
Cite
@article{arxiv.2411.02841,
title = {Discrete Lawvere theories and monads},
author = {Jiří Rosický},
journal= {arXiv preprint arXiv:2411.02841},
year = {2026}
}
Comments
7 pages