. . "The best way to consider types is that they are the objects of the free category with finite cartesian products generated from a discrete category of objects s 1,???,s ns_1, \\ldots, s_n." . .