Giry and the Machine

Add to your list(s) Download to your calendar using vCal

• Ilias Garnier, ENS Paris
• Friday 29 April 2016, 14:00-15:00
• FW26.

If you have a question about this talk, please contact Dominic Mulligan.

We present a general method – the Machine – to analyse and characterise in finitary terms natural transformations between (iterates of) Giry-like 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 composable 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. We also show that for some combinations of these functors, 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.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.