Algebraic presentation of semifree monads

DOI10.1007/978-3-031-10736-8_6OpenAlexW4286599961MaRDI QIDQ2104481FDOQ2104481

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

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

zbMATH Keywords

monadalgebraic theoryalgebraic presentationsemifree

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

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

Cited In (3)

• Algebraic Presentation of Semifree Monads
• Title not available (Why is that?)
• 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)