IMDEA Software Institute, Madrid
Date(s) : 25/04/2019 iCal
11 h 00 min - 12 h 30 min
The category of probabilistic coherence spaces (PCoh_!), introduced by Danos and Ehrhard, is a fully abstract model for PCF with *discrete* probabilities, where morphisms can be seen as power series. The category Cstab_m, of measurable cones and measurable stable functions, has been introduced by Ehrhard, Pagani and Tasson as a model for PCF with *continuous* probabilities.
In this talk, we will study the shape of stable functions when they are between discretecones: we will show that they can actually be seen as generalized power series. The proof is based on a generalization of a theorem from real analysis due to Bernstein, that states that all absolutely monotonous functions on reals are power series. From there, we will build a full and faithful functor from PCoh_! into Cstab_m that moreover preserves the cartesian closed structure.