In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg--Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces
AbstractStudied are Kleisli categories of monads of sets which satisfy two properties motivated by f...
AbstractWe analyse the 2-dimensional categorical algebra underlying the process of completing catego...
" In memory of our dear friend Fuensanta Andreu Vaillo (1955{2008)"We consider monads over varying c...
In this paper we investigate important categories lying strictly between theKleisli category and the...
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the K...
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the K...
AbstractGiven a monad T on Set whose functor factors through the category of ordered sets with left ...
Abstract. Employing a formal analogy between ordered sets and topological spaces, over the past year...
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint ...
AbstractIn this paper, we present results that provide an abstract setting for the construction and ...
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determin...
For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\ma...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
AbstractWe give a description of the Eilenberg-Moore category of algebras induced by an adjunction F...
Abstract. Given a monad T on a suitable enriched category B equipped with a proper factorization sys...
AbstractStudied are Kleisli categories of monads of sets which satisfy two properties motivated by f...
AbstractWe analyse the 2-dimensional categorical algebra underlying the process of completing catego...
" In memory of our dear friend Fuensanta Andreu Vaillo (1955{2008)"We consider monads over varying c...
In this paper we investigate important categories lying strictly between theKleisli category and the...
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the K...
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the K...
AbstractGiven a monad T on Set whose functor factors through the category of ordered sets with left ...
Abstract. Employing a formal analogy between ordered sets and topological spaces, over the past year...
Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint ...
AbstractIn this paper, we present results that provide an abstract setting for the construction and ...
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determin...
For a 2-category $\mathcal{K}$, we consider Street's 2-category Mnd($\mathcal{K}$) of monads in $\ma...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
AbstractWe give a description of the Eilenberg-Moore category of algebras induced by an adjunction F...
Abstract. Given a monad T on a suitable enriched category B equipped with a proper factorization sys...
AbstractStudied are Kleisli categories of monads of sets which satisfy two properties motivated by f...
AbstractWe analyse the 2-dimensional categorical algebra underlying the process of completing catego...
" In memory of our dear friend Fuensanta Andreu Vaillo (1955{2008)"We consider monads over varying c...