category,construction
Set*,initial object
Set*,pushout
Set*,terminal object