Combining semilattices and semimodules

DOI10.1007/978-3-030-71995-1_6OpenAlexW3140557006MaRDI QIDQ2233397FDOQ2233397

Filippo Bonchi, Alessio Santamaria

Publication date: 18 October 2021

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

zbMATH Keywords

monadsalgebraic theoriesweak distributive laws

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites Work

• Combining effects: sum and tensor
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generic Trace Semantics via Coinduction
• Bialgebras for structural operational semantics: an introduction
• Notions of computation and monads
• Handbook of weighted automata
• A category theoretic formulation for Engeler-style models of the untyped \(\lambda\)-calculus
• Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
• Distributing probability over non-determinism
• Relation lifting, a survey
• A coalgebraic perspective on linear weighted automata
• Coinduction up-to in a fibrational setting
• A tutorial on coinductive stream calculus and signal flow graphs
• The monads of classical algebra are seldom weakly Cartesian
• Reports of the Midwest category seminar. IV
• Monoid-labeled transition systems
• Weak distributive laws
• The weak theory of monads
• Generalizing determinization from automata to coalgebras
• Coalgebraic Trace Semantics via Forgetful Logics
• Generic weakest precondition semantics from monads enriched with order
• Automata Learning
• Learning weighted automata over principal ideal domains
• Up-To Techniques for Behavioural Metrics via Fibrations
• Lattice-theoretic progress measures and coalgebraic model checking
• Title not available (Why is that?)
• Iterated covariant powerset is not a monad
• Combining semilattices and semimodules
• Coalgebra learning via duality
• The Vietoris monad and weak distributive laws
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Up-to Techniques for Branching Bisimilarity
• Sound up-to techniques and Complete abstract domains

Cited In (7)

• Algebraic presentation of semifree monads
• Combining semilattices and semimodules
• Combining Semilattices and Semimodules
• Sum and tensor of quantitative effects
• Preservation and reflection of bisimilarity via invertible steps
• Semialgebras and weak distributive laws
• Convexity via Weak Distributive Laws

This page was built for publication: Combining semilattices and semimodules

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