Sifted Colimits, Strongly Finitary Monads and Continuous Algebras

arXiv (Cornell University)(2023)

引用 0|浏览0
暂无评分
摘要
We characterize strongly finitary monads on categories $\mathsf{Pos}$, $\mathsf{CPO}$ and $\mathsf{DCPO}$ as precisely those preserving sifted colimits. Or, equivalently, enriched finitary monads preserving reflexive coinserters. We study sifted colimits in general enriched categories. For $\mathsf{CPO}$ and $\mathsf{DCPO}$ we characterize varieties of continuous algebras as precisely the monadic categories for strongly finitary monads.
更多
查看译文
关键词
finitary monads,colimits,continuous algebras
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要