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