We present a categorical approach to the extension of probabilities, i.e. normed σ-additive measures. J. Novák showed that each bounded σ-additive measure on a ring of sets A is sequentially continuous and pointed out the topological aspects of the extension of such measures on A over the generated σ-ring σ(A): it is of a similar nature as the extension of bounded continuous functions on a completely regular topological space X over its Čech-Stone compactification βX (or as the extension of continuous functions on X over its Hewitt realcompactification υX). He developed a theory of sequential envelopes and (exploiting the Measure Extension Theorem) he proved that σ(A) is the sequential envelope of A with respect to the probabilities. However, the sequential continuity does not capture other properties (e.g. additivity) of probability measures. We show that in the category ID of D-posets of fuzzy sets (such D-posets generalize both fields of sets and bold algebras) probabilities are morphisms and the extension of probabilities on A over σ(A) is a completely categorical construction (an epireflection). We mention applications to the foundations of probability and formulate some open problems.