возможно, завтра буду говорить с шинзеном янгом о теории категорий, пожелайте мне удачи