Mengen, Kategorien, Funktoren – zum formalen Aufbau der modernen Mathematik.