Giry monad¶
The probability monad on measurable spaces that sends each space to its measurable space of probability measures.
Core Idea¶
The sigma-algebra on measures is generated by evaluation maps, variants use subprobability or restricted measurable categories and composition must preserve measurability; it is not merely a set-valued distribution constructor. The unit maps a point to its Dirac measure, while multiplication integrates a probability measure over probability measures into one barycentric measure; Kleisli arrows are Markov kernels. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Giry monad belongs to categorical probability and is useful where the analyst can specify the typed categorical probability carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the category of measurable spaces, object map X to probability measures on X, evaluation-generated sigma-algebra, functorial pushforward, Dirac unit, multiplication by integration, monad unit and associativity laws, Kleisli morphisms and Markov-kernel composition, strength or commutativity qualifications and probability-versus-subprobability variants are explicit.
Clarity¶
The abstraction clarifies a crowded vocabulary by making the category of measurable spaces, object map X to probability measures on X, evaluation-generated sigma-algebra, functorial pushforward, Dirac unit, multiplication by integration, monad unit and associativity laws, Kleisli morphisms and Markov-kernel composition, strength or commutativity qualifications and probability-versus-subprobability variants are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Giry monad. Giry monad compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed categorical probability carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express the category of measurable spaces, object map X to probability measures on X, evaluation-generated sigma-algebra, functorial pushforward, Dirac unit, multiplication by integration, monad unit and associativity laws, Kleisli morphisms and Markov-kernel composition, strength or commutativity qualifications and probability-versus-subprobability variants are explicit independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of categorical probability because they reuse the typed categorical probability carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, The unit maps a point to its Dirac measure, while multiplication integrates a probability measure over probability measures into one barycentric measure; Kleisli arrows are Markov kernels., and type the carrier, state every parameter and convention in the definition, test that the category of measurable spaces, object map X to probability measures on X, evaluation-generated sigma-algebra, functorial pushforward, Dirac unit, multiplication by integration, monad unit and associativity laws, Kleisli morphisms and Markov-kernel composition, strength or commutativity qualifications and probability-versus-subprobability variants are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Giry monad Domain-specific
Parents (1) — more general patterns this builds on
-
Giry monad is a kind of Recursion Prime
The proposed strict upward parent is
prime:recursion.
Hierarchy path (1) — routes to 1 parentless root
- Giry monad → Recursion
Neighborhood in Abstraction Space¶
Giry monad sits in a moderately populated region (47th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Probability Measures & Random Variables (36 abstractions)
Nearest neighbors
- Category of Markov kernels — 0.93
- Probability axioms — 0.89
- Codensity monad — 0.88
- Algebra of random variables — 0.88
- Unit measure — 0.88
Computed from structural-signature embeddings · 2026-09-08