https://9dok.net/document/q05jrdo9-pizzaseminar-zur-kategorientheorie-l-osung-zum-ubungsblatt.html