Set as cocomplete category

The category Set \(\mathrm{Set}\) is cocomplete

corollary of:

• Koprodukt in Set - todo
• coequalizer in Set (- todo)
• small coproducts and coequalizer and cocomplete category