Finitary monads on the category of posets-Reference-Cited by-同舟云学术

Finitary monads on the category of posets

Published:2021-11-26 Issue: Volume: Page:1-23
ISSN:0960-1295
Container-title:Mathematical Structures in Computer Science
language:en
Short-container-title:Math. Struct. Comp. Sci.

Author:

Adámek Jiří,Ford Chase^ORCID,Milius Stefan^ORCID,Schröder Lutz^ORCID

Abstract

Abstract Finitary monads on Pos are characterized as precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analogously, finitary enriched monads on Pos are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.

Publisher

Cambridge University Press (CUP)

Subject

Computer Science Applications,Mathematics (miscellaneous)

Reference32 articles.

1. Locally Presentable and Accessible Categories

2. On the monadicity of finitary monads

3. An outline of functorial semantics

4. Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads

5. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Discrete equational theories;Mathematical Structures in Computer Science;2024-01-22

2. The syntactic side of autonomous categories enriched over generalised metric spaces;Logical Methods in Computer Science;2023-12-18

3. Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities;Applied Categorical Structures;2023-09-22

4. A categorical view of varieties of ordered algebras;Mathematical Structures in Computer Science;2022-01-10