Kommer muligens til å snakke med Shinzen Young om kategoriteori i morgen Ønsk meg lykke til