A Kleisli-based approach to lax algebras (Q842755)

The paper gives a neighborhood-like presentation of categories of lax algebras, whose simplicity pinpoints the importance of the Kleisli extension. Then that is introduced as a particular lax extension of the associated monad functor. In viewing the main result it turns out that up-sets play both the role of neighborhood systems, and of convergence structures in the category CLS of closure spaces. Moreover this description of CLS reproduces the embedding TOP \(\to\) CLS on the monad level via the monad morphism F \(\to\) U, where F denotes the filter monad and U the up-set monad.