Wie man Limiten in Funktorkategorien berechnet, wird später noch ausgebaut