Finitary monads on the category of posets
From MaRDI portal
Publication:5068206
DOI10.1017/S0960129521000360zbMath1495.18007arXiv2011.14796OpenAlexW3217207035MaRDI QIDQ5068206
Stefan Milius, Chase Ford, Jiří Adámek, Lutz Schröder
Publication date: 5 April 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.14796
Related Items (4)
A categorical view of varieties of ordered algebras ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Discrete equational theories ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- Notions of computation and monads
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Varieties of ordered algebras
- On the monadicity of finitary monads
- Equational axiomatization of algebras with structure
- Lawvere theories enriched over a general base
- Coequalizers and free triples
- Banach spaces and totally convex spaces I
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Quantitative Algebraic Reasoning
- Semantics for Algebraic Operations
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Algebra and Coalgebra in Computer Science
This page was built for publication: Finitary monads on the category of posets
