Under Construction
See Understanding constructions in Set?
colimits
The empty set ∅ is the initial object in Set.
Why?
binary coproducts
arbitrary (but small) coproducts
coequalisers
pushouts
cofibred coproducts