Codensity and the Giry monad¶

Avery, T. (2015). Codensity and the Giry monad.

Type: Unclassified
Intellectual base: Unclassified
Year: 2015
DOI: 10.1016/j.jpaa.2015.08.017
Link: https://doi.org/10.1016/j.jpaa.2015.08.017

Cited by¶

2 citations across 2 artifacts.

Domain-specific¶

Codensity monad
- … that the categories and size universe, functor, right Kan extension and existence conditions, end or limit formula if used, natural transformation, unit, multiplication and monad laws are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..
Giry monad
- … integration, monad unit and associativity laws, Kleisli morphisms and Markov-kernel composition, strength or commutativity qualifications and probability-versus-subprobability variants are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:2d179674e9de · see in the full table