Ой, нет

Это я не о том подумал.

Объекты — это модели, морфизмы — это морфизмы моделей, т.е. функции, сопоставляющие типам первой модели типы второй и термам первой термы второй. О таких функциях можно думать как о функторах. Тогда 2-ячейки там будут аналогами естественных преобразований.

Эта аналогия не удивительна, учитывая, что мы хотим доказать, что эта 2-категориями эквивалентна 2-категории каких-то там категорий.

Формальное определение должно быть где-то в этой статье.

Ага. Там в Introduction кратко рассказывается (в статье, видимо, подробно).

Смотрю статью, там любопытно.
Название помню, но содержимое вообще никак, пасиб! ;-)

Что почитать по симплициальным гомотопиям?

И еще вопрос, как осознавать всякие аксиомы когерентности для бикатегорий/2-функторов/2-естественных преобразований

Какая эвристика за ними стоят

*стоит

Мне когда-то очень понравился этот конспект. Как старт, по-моему, отличный

Подскажите как называлась книга французско-русского математика.

Прежде чем выложить ее на канале https://t.me/maasap написали про этого математика примерно так "Хотели взять интервью у физика шевелящего теорию струн, но он нам сказал что мол я тут блять о теории струн размышляю, а вы решили про какое-то интервью поговорить!? И тогда мы пошли к математику что шевелит геометрии, используемые тем физиком для построения своих теорий".

Ну и про книгу - это был перевод с французского, а книга про размышления этого математика на разные темы. Из того что помню - рассказывалось про эволюцию, что-то про протоклетку.

"Кольцо тайн", Михаил Громов.

Откуда это, лол

Вконтакте запостил знакомый.

Странно, вроде же не Кметт автор этой шутейки. Хотя она и на тему его либы

весьма странное что-то