In this introduction we should like to touch on some points that will help the readers to comprehend the contents of the Chapter.
1.1 Interpretations and the Change of Point of View
In modern mathematics we usually use Set Theory to express mathematical notions. In Set theory, as such there, is no uncertainty involved. However we usually have the habit to interpret some of the set-theoretic notions, in such a way that we model uncertainty. For example the function 
is a well-defined entity in Set Theory, and no uncertainty is connected with such a function. However we may interpret this as a generalized indicator or a membership function of a fuzzy set. This change of point of view leads to Fuzzy Set theory. Similarly a real number
, is interpreted in fuzzy set theory as a fuzzy real number
. Related to the change of point of view the following Dieudonne’s saying is instructive: “What changes in Mathematics, as in all other Sciences, is the point of view from which results already acquired, are assessed. ”
The change of point of view essentially is connected with interpretations from one model to another. Think, for example, the interpretation of Euclidean terms in Riemannian geometry. To give a technical development of the intuition of interpretations it is a hard work, see e.g. (W. Hodges, 1993, Ch. 5).
Similarly, a functor, e.g. going from the category of Topological Spaces to the Category of Groups, can be construe as a change of point of view, from a topological-geometrical to algebraic.
1.2 Generalized Elements and Generalized Properties
Since functions play a very important role in changing a point of view from a classical set theoretic model to a non-classical one, we should like to comment on the two basic interpretations for the concept of function:
Thus a fuzzy set 
from this point of view is a generalized property. Any generalized property 
induces on X a partition,
In this way partitions and generalized properties are strongly interconnected.
One general approach to this and similar problems is through Category Theory. We know that there is a “reversing the arrows duality” between subsets and partitions see (Lawvere & Rosebruch, 2003 and Ellerman, 2010). In particular we are interesting in the duality of “generalized elements” and “generalized properties” (Lawvere & Rosebruch, 2003).
We would like to present this reversing the arrows duality in some characteristic examples.
Let first consider a function 
as a diagram in the category of sets, using as an index the graph
. Then the graph Gf, is the limit of the diagram 
as depicted in Figure 1.
Figure 1. Limit of diagram 
In this way we may have a notion of a graph of an arrow in any category with finite limits.
To reveal the connection of Boolean powers with the reversing the arrows duality we have to calculate explicitly the reverse of the function 
.
On the domain A we define the equivalence relation:
Let now,
the equivalence classes of the relation
. Then it is clear that
constitutes a partition of
A. Thus we have the following function:
Let,
Thus we get the Boolean power of B with respect to power Boolean algebra
. If we express (∗),i.e. 
, where 
, using the co-graph,
Then the dual of, 
is
. This is the exact meaning of reversing the arrows in Set. The above meaning of co-graph can be expressed as a co-limit of the diagram,
(see Figure 2)
Figure 2. Co-limit of diagram
We can repeat the above construction in the categories of probability spaces and in the category of probability algebras as well, giving the essence of the construction of Boolean powers.