part of this procedure deals with the so-called ”disclosure” folding map on a Powerset denotator whose coordinate denotators are all of form . This folding generates an array of vectors in -space according to a folder matrix whose entries determine how the denotator coordinates are merged and folded in detail. Here is the Fold map for the different types which the elements of are sharing. We omit the synonymy and the powerset type of since they are less interesting for illustrating the folding procedure.

8.3 Folding Matrix

The folding map is determined by the folder matrix which the user may define on the interactive matrix field, see figure 5. The number of columns is the number of the factors or cofactors in the case of limit or colimit type , and it is one in case of a powerset or simple type. The number of rows