2 papers
math.CT2024
Discrete Lawvere theories and monads
Jiří Rosický
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 Law…
math.CT2023
Towards enriched universal algebra
Jiří Rosický, Giacomo Tendas
Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment , we define a language $…