Universal mapping properties
Terminal and initial objects Product and sum of a pair of objects
1. Terminal objects
In the category of abstract sets, any one-point object 1 has exactly one map from each object X to 1; in a great many other categories of interest, there are also special objects having the same property relative to all objects of , even though these special objects may be intuitively much more complicated than ‘single element.’ ...