Finitely Presentable Algebras For Finitary Monads

zbMath1468.18006arXiv1909.02524MaRDI QIDQ5243048

Jiří Adámek, Thorsten Wißmann, Stefan Milius, Lurdes Sousa

Publication date: 14 November 2019

Full work available at URL: https://arxiv.org/abs/1909.02524

zbMATH Keywords

finitely presentable objectfinitary functorfinitely generated objectregular monad

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Categories of algebras (08C05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

A new foundation for finitary corecursion and iterative algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Notions of computation and monads
• On the monadicity of finitary monads
• On subsemigroups of finitely presented semigroups
• Coequalizers and free triples
• Strong functors and monoidal monads
• On Finitary Functors

This page was built for publication: Finitely Presentable Algebras For Finitary Monads