with i serves to ensure that all the components stay disjoint).

Set is the prototype of a concrete category; other categories are concrete if they are "built on" Set in some well-defined way.

Every two-element set serves as a subobject classifier in Set. The power object of a set A is given by its power set, and the exponential object of the