ну некий henrychern, или же это группа студентов из РАН

на самом деле проще всего попросить автора перевода и сделать сборку

Подскажите, пожалуйста, а чем так хороши string-диаграммы? Вроде, это более запутанная нотация, чем обычные диаграммы для 2-категорий, но большинство статей сейчас использует именно string. Не могу сообразить, в чём преимущество

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

Ну вот например, у catsters, помнится, рисовали монаду, составленную из сопряжения.
Неплохой пример.

Хм... То есть, главное, что можно две диграммы составить вместе в третью? Как с тензорами?

Мой любимый пример: лемма 3.2 здесь https://ncatlab.org/nlab/show/adjoint+equivalence

Bartosz Milewski
Initial Algebra as Directed Colimit
https://bartoszmilewski.com/2020/04/09/initial-algebra-as-directed-colimit/
There is a bit of folklore about algebras in Haskell, which says that both the initial algebra and the terminal coalgebra for a given functor are defined by the same fixed point formula.
This works for most common cases, but is not true in general.
What is definitely true is that they are both fixed points–this result is called the Lambek’s lemma–but there may be many fixed points.
The initial algebra is the least fixed point, and the terminal coalgebra is the greatest fixed point.
#paper

А это на самом деле проще, чем просто формулы писать?

Если хорошо владет этим языком, то проще

Coend Calculus and Open Diagrams
Mario Román
https://arxiv.org/abs/2004.04526
Morphisms in a monoidal category are usually interpreted as processes or black boxes that can be composed sequentially and in parallel.
In practice, we are faced with the problem of interpreting what non-square boxes ought to represent and, more importantly, how should they be composed.
Examples of this situation include lenses or learners.
We propose a description of these non-square boxes, which we call open diagrams, in terms of coends and the monoidal bicategory of profunctors, with features of what could be considered a graphical calculus for these coends.
The graphical calculus allows us to describe possible compositions of these open diagrams but also to reason about their concrete descriptions.
This is work in progress.
#paper

Какая логика соотвествует исчислению индуктивных конструкций?

Нашёл две интересные книги по ТК, можно добавить в наш список:

1 - https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf
2 - https://thalis.math.upatras.gr/~cdrossos/Docs/B-W-LectureNotes.pdf

Добавлю ;-)
A Higher Structure Identity Principle
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
https://arxiv.org/abs/2004.06572
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism:
more specifically, identifications of structures coincide with isomorphisms.
We prove a version of this principle for a wide range of higher-categorical structures, adapting FOLDS-signatures to specify a general class of structures, and using two-level type theory to treat all categorical dimensions uniformly.
As in the previously known case of 1-categories (which is an instance of our theory), the structures themselves must satisfy a local univalence principle, stating that identifications coincide with "isomorphisms" between elements of the structure.
Our main technical achievement is a definition of such isomorphisms, which we call "indiscernibilities", using only the dependency structure rather than any notion of composition.
#paper

Книга начального уровня (возможно, более полезная, чем Теория Категорий для Программистов) от Бенджамина Пирса. Мне понравилось, что изложение более точное и есть полезные упражнения.

Спасибо большое!

Мне тоже больше понравилась, но жаль, что про монады не рассказали

а какое в сообществе мнение про голдблатта?

Очень много людей в сообществе ;-)
В целом, насколько я помню, относились к нему хорошо.
Он хоть как-то объясняет некоторые вещи, которые иначе изучать сложнее.
Я раньше к нему плоховато относился, щас нейтрально.