2000 character limit reached
Sifted Colimits, Strongly Finitary Monads and Continuous Algebras
Published 13 Jan 2023 in math.CT | (2301.05730v2)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.