Можливо, завтра буду говорити з Шінзеном Янгом про теорію категорій, побажайте мені удачі