A convenient category for higher-order probability theory | IEEE Conference Publication | IEEE Xplore