Discrete Lawvere theories and monads

Discrete Lawvere theories and monads

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.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Rosický, Jiří
Format: Artikel
Sprache:eng
Schlagworte:
Mathematics - Category Theory
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.48550/arxiv.2411.02841