A Convenient Category for Higher-Order Probability Theory | Read Paper on Bytez