Pages that link to "Item:Q859832"
From MaRDI portal
The following pages link to Eilenberg--Moore algebras for stochastic relations (Q859832):
Displaying 22 items.
- Dagger categories of tame relations (Q382419) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Algebraic theory of vector-valued integration (Q424559) (← links)
- Codensity and the Giry monad (Q890663) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Kleisli morphisms and randomized congruences for the Giry monad (Q995624) (← links)
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations'' (Q999266) (← links)
- The factorization of the Giry monad (Q1621453) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- Giry and the Machine (Q1744380) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras (Q2378289) (← links)
- The Eilenberg-Moore algebras of base normed vector spaces (Q2764184) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- A Probability Monad as the Colimit of Spaces of Finite Samples (Q4628472) (← links)
- (Q4683859) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- (Q5875398) (← links)