Abstract: I will describe the dual view of Markov processes as expectation value transformers. I will then define a category of "abstract" Markov processes and show how approximation and bisimulation both co-exist and are on the same footing.