Conditioning on equality of continuous random variables is in general ill-defined, as the exact observation may have probability zero; this is Borel’s paradox. We use disintegrations in the abstract setting of CD- and Markov categories as a foundation for defining probabilistic programming languages with conditioning on equality in a principled way.