https://9dok.net/document/y4w27145-übungsblatt-technische-hochschule-mittelhessen-fachbereich-prof-kategorientheorie-informatiker.html