Pulse Entdecken nav.journalClub Debatten Trends Forschende Zeitschriften

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

January 23, 2026Mathematical Structures in Computer Science0 citationsOpen Access

Discrete Lawvere theories and monads

View Full Paper

JRJiří Rosický

Key Points

The aim is to link strongly finitary enriched monads to discrete enriched Lawvere theories and explore their properties.
Analyzed the structure of strongly finitary enriched monads.
Investigated the characteristics of discrete enriched Lawvere theories.
Examined how monads derived from Lawvere theories affect surjective functions.
Established a correspondence between strongly finitary enriched monads and discrete Lawvere theories.
Showed that monads from these theories retain the property of preserving surjections.

Abstract

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.

KI fragen

Like

Bookmark

Share

View Full Paper

KI fragen

Like

Bookmark

Share

View Full Paper

Cite This Study

Jiří Rosický (Thu,) studied this question.

synapsesocial.com/papers/69731089c8125b09b0d203d2 https://doi.org/https://doi.org/10.1017/s0960129525100443

Diskrete Lawvere-Theorien und Monaden | Synapse