3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.CT2020★ 3 cited
A categorical view of varieties of ordered algebras
J. Adámek, M. Dostál, J. Velebil
It is well known that classical varieties of -algebras correspond bijectively to finitary monads on . We present an analogous result for varieties of ordered -a…
math.CT2017
Bénabou's theorem for pseudoadjunctions
Matěj Dostál
We give a formal account of Bénabou's theorem for peudoadjunctions in the context of Gray-categories. We prove that to give a pseudoadjunction with unit i…