Lösung des vierten Übungsblattes

Es wäre vielleicht noch sinnvoll, die Charakterisierung von Äquivalenzfunktoren als volltreu und wesentlich surjektiv ins Skript auszulagern.

Morgen werde ich noch die Lösung vom 5. Blatt TeXen.