Algebraic presentation of semifree monads

DOI10.1007/978-3-031-10736-8_6MaRDI QIDQ2104481zbMATH OpenOpenAlexFDO

Authors Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis

Publication date 7 December 2022

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

zbMATH Keywords

monadalgebraic theoryalgebraic presentationsemifree

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 139984
• Algebras for parameterised monads
• Finitely presentable algebras for finitary monads
• scientific article; zbMATH DE number 19494
• Equational presentations of functors and monads
• Interpretations into monadic algebras
• From corecursive algebras to corecursive monads
• Monads and algebras in the semantics of partial data types
• The formal theory of monoidal monads
• scientific article; zbMATH DE number 3913224

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 7471702 (Why is no real title available?)
• scientific article; zbMATH DE number 7566077 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• Category Theory
• Combining effects: sum and tensor
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Combining semilattices and semimodules
• Convexity, duality and effects
• Coproducts of Ideal Monads
• Coproducts of monads on Set
• Distributing probability over non-determinism
• Generic trace semantics and graded monads
• Infinite trees and completely iterative theories: A coalgebraic view
• Interaction laws of monads and comonads
• Iterated covariant powerset is not a monad
• Lattice Automata
• Learning automata with side-effects
• Modular Monad Transformers
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Notions of computation and monads
• On the algebraic structure of rooted trees
• Semantics of weakening and contraction
• The Vietoris monad and weak distributive laws
• The linear-non-linear substitution 2-monad
• The weak theory of monads
• Trace semantics via determinization
• Weak distributive laws

Cited in

(3)

• Algebraic Presentation of Semifree Monads
• scientific article; zbMATH DE number 139984 (Why is no real title available?)
• Correspondence between composite theories and distributive laws

This page was built for publication: Algebraic presentation of semifree monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104481)