October 18th, 2019

moose, transparent

категории

Статья про математику Джейкоба Лурье, исследователя категорий бесконечных порядков:

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 людям, которые знают основы теории категорий, но не более того? (топосы не изучали, скажем). Если кто-то может рассказать, пусть упрощенно и на пальцах, или указать на хорошую обзорную статью или что-то типа того, буду благодарен.