Vielleicht werde ich morgen mit Shinzen Young über Kategorientheorie sprechen. Drückt mir die Daumen.