Classical varieties of correspondectively to strongly finitary monads

Home

Discover

Bookmarks

Keep Up With Top Trending Papers In CS / AI / ML ...

Source arXiv

Category Theory

Classical varieties of correspondectively to strongly finitary monads

A categorical view of varieties of ordered algebras

We prove that classical varieties of correspond bijectively to strongly finitary monads on that is, those finitary monads which preserve reflexive coinserters.

We deduce that strongly finitary monads have a coinserter presentation, analogous to the coequaliser presentation of finitary monads due to kelly and power.

Authors

J. Adámek, M. Dostál, J. Velebil

Read the Paper

Read Paper

Home

Discover

Bookmarks

◐ Latest Activity

◐ Recommended Members