posic | Совсем как абелевы категории, только гораздо лучше

Много лет назад один из моих ЖЖ-френдов рисовал мрачную перспективу прогрессирующего расслабления стандартов строгости в математике, при котором математика постепенно превращается в философию, далее в художественную литературу, и в итоге в инструмент политической пропаганды (или что-то в этом роде). Сегодня я вспоминаю об этом, читая письмо, пришедшее от молодого бесконечность-категорщика.

Молодой бесконечность-категорщик пытается убедить меня, что (бесконечность,1) -категории -- совсем как абелевы категории, только гораздо лучше. Что он об абелевых категориях ничего не знает при этом -- то я вижу. Знает ли он что-нибудь о бесконечность-категориях, нужно спрашивать не у меня.