https://9dok.net/document/y8gn3mlw-bestimmen-summen-co-equalizer-pushouts-kategorie-set.html