3 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 $…
math.CT2023
Notions of enriched purity
Jiří Rosický, Giacomo Tendas
We introduce enriched notions of purity depending on the left class of a factorization system on the base of enrichment. Ordinary purity is given by the c…