With Category Theory, Mathematics Escapes From Equality
Забавная цитата оттуда: "“No one goes back once they’ve learned infinity categories,” said John Francis of Northwestern University."
Но ничего не понятно там, к сожалению (т.е. все более или менее понятно, но настолько упрощено, что суть работы Лурье не просвечивает).
А есть ли способ объяснить infinity categories людям, которые знают основы теории категорий, но не более того? (топосы не изучали, скажем). Если кто-то может рассказать, пусть упрощенно и на пальцах, или указать на хорошую обзорную статью или что-то типа того, буду благодарен.
