Giry and the Machine

Abstract : We present a general method-the Machine-to analyse and characterise in finitary terms natural transformations between well-known functors in the category Pol of Polish spaces. The method relies on a detailed analysis of the structure of Pol and a small set of categorical conditions on the domain and codomain functors. We apply the Machine to transformations from the Giry and positive measures functors to combinations of the Vietoris, multiset, Giry and positive measures functors. The multiset functor is shown to be defined in Pol and its properties established. We also show that for some combinations of these func-tors, there cannot exist more than one natural transformation between the functors, in particular the Giry monad has no natural transformations to itself apart from the identity. Finally we show how the Dirichlet and Poisson processes can be constructed with the Machine.
Type de document :
Communication dans un congrès
Mathematical Foundations of Programming Semantics XXXII (MFPS 32), 2016, Pittsburgh, PA, United States. Electronic Notes in Theoretical Computer Science, 325, pp.85 - 110, 2016, The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII). 〈10.1016/j.entcs.2016.09.033〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01429637
Contributeur : Ilias Garnier <>
Soumis le : lundi 9 janvier 2017 - 08:46:40
Dernière modification le : vendredi 13 janvier 2017 - 01:01:11
Document(s) archivé(s) le : lundi 10 avril 2017 - 12:57:14

Fichier

mfps32_postproceedings.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier. Giry and the Machine. Mathematical Foundations of Programming Semantics XXXII (MFPS 32), 2016, Pittsburgh, PA, United States. Electronic Notes in Theoretical Computer Science, 325, pp.85 - 110, 2016, The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII). 〈10.1016/j.entcs.2016.09.033〉. 〈hal-01429637〉

Partager

Métriques

Consultations de
la notice

55

Téléchargements du document

23