This is the second of three talks working toward a categorical proof of De Finetti's Theorem (probably!). To recap from the first talk: mathematicians like Tobias Fritz and Paolo Perrone developed the notion of a Markov category to capture categorically the key properties of randomness. In the first talk, I went over the definition of a Markov category, showed that every Cartesian monoidal category has a canonical Markov category (thereby showing that Meas is a Markov category), and discussed how to construct a Markov category from another Markov category via an affine symmetric monoidal monad. But, I didn’t give an example of an affine symmetric monoidal monad. In this talk, I will define the various structure maps of the Giry monad, show it is a monad (of course!), and use it to show that the category Stoch of stochastic processes is a Markov category.