@Neil Strickland gave me all I needed in his comment (thank you!). Escardó and Simpson's paper is not what I was looking for, but they do cite it: *A Universal Characterization of $[0,\infty]$*, by Denis Higgs.