Discrete Lawvere theories and monads

2024/11/05 by Rosický, Jiří
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2411.02841

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.

Related

• Notions of Lawvere theory
• Monads of regular theories
• Lawvere theories, finitary monads and Cauchy-completion
• Lawvere theories and Jf-relative monads
• Graded Algebraic Theories