Cantors Diagonalprinzip für Kategorien