加载中…
We characterize strongly finitary monads on categories , and as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For and we characterize varieties of continuous algebras as precisely the monadic categories for strongly finitary monads.

生成讲解博客的中文版本

生成AI智能校验的中文版本