  The experience of unknown events such as financial crises and infectious
disease crises has revealed the limitations of measuring risk under a fixed
probability measure. In order to solve this problem, the importance of
so-called ambiguity, which allows the probability measure itself to change, has
long been recognized in the financial world. On the other hand, there have been
many studies o n subjective probability measures in the field of economics.But
even in those cases, the studies are based on the two levels of uncertainty:
risk when a conventional probability measure (probability distribution) is
known, and ambiguity due to the fact that the subjective probability measure
can be taken arbitrarily in a certain space. In this study, we express n-layer
uncertainty, which we call hierarchical uncertainty by introducing a new
concepts called uncertainty spaces which is an extended concept of probability
spaces and U-sequence that are sequences of uncertainty spaces. We use
U-sequence for providing examples that illustrate Ellsberg's paradox. We also
investigate categories of U-sequences. Next, we construct an endofunctor S of
Mble, the category formed by measurable spaces and measurable functions between
them, in order to embed a given U-sequence into it. The endofunctor S maps a
measurable space to a set of capacities defined on the space, where a capacity
is a non-additive probability measure introduced by Choquet. After developing
n-layer uncertainty analysis through U-sequences, we construct the universal
uncertainty space as a limit of the sequence of measurable spaces representing
multi-layer uncertainty. This universal uncertainty space may be able to serve
as a basis for multi-layer uncertainty theory because it has as its projections
the uncertainty spaces of all levels. Lastly, we check a sufficient condition
for making the functor S be a probability monad.
