Керодон и Клаудер -- два больших онлайн учебника по категорической теории гомотопий и теории категорий
Похоже, что истинным математикам нравится:
— издавать всеобъемлющие онлайн учебники,
— взяв за основу проект Стекс,
— который работает на Герби.
Пожалуй тут слишком много слов, требующих пояснения, поэтому с него и начнем.
В прошлый раз мы познакомились с самым объемным учебником по алгебраической геометрии под названием Проект Стекс (Stacks project).
Стекс, подобно Википедии, связывает воедино многочисленные математические тексты, созданные усилиями большого коллектива любителей алгебраической геометрии.
Чтобы не заблудиться в этом многообразии информации, каждая важная часть текста -- теорема, лемма, определение, пример, -- соотнесена с уникальным постоянным тегом, который всегда ссылается на эту часть текста, даже если текста уже нет. (Тогда тег ведет к пояснению, почему текст был удален.)
А обеспечивает нормальную работу этой невообразимой системы тегов маленький Герби (Gerby) -- движок, специально созданный для облегчения навигации по объемный математическим документам, написанных на Латехе.
Так вот, при помощи Герби работает не только Стекс, а еще два онлайн учебника: Керодон и Клаудер.
Проект Керодон посвящен категорической теории гомотопий. (Только не спрашивайте меня, что это, спросите лучше нейросеть, а я могу пояснить про название.)
Керодон -- это зверек, родственный капибарам и морским свинкам, поэтому он присутствует на эмблеме проекта.
Проект Клаудер попроще и посвящен "простой" теории категорий.
Оба проекта -- это не проекты одиночек. Как и в Стексе, их пестованием, наполнением и поддержанием занимается коллектив любителей математики, которые за годы работы смогли создать очень ценные общедоступные онлайн ресурсы.
То, что три крупных математических проекта без сбоев длительно работают на одном движке, служит хорошей рекламой Герби, и наводят на мысль о создании чего-то похожего в русскоязычной среде математиков.