The category of probabilistic mappings (1962)

by F W Lawvere