category,construction
SSet,binary product
SSet,initial object
SSet,terminal object