всем привет!
а какой-то видос появился с этой встречи?

Нет.

и не будет его, да?

И не будет его, да.

Коллеги, а расскажите, как вы думаете про универсальные стрелки? Какая наиболее общая и простая интуиция? Примеры с вложениями типа свободного моноида и забывающего функтора я вроде понял.

Это я читал, спасибо. Вы лично думаете об этом как о начальном/терминальном объекте в категории запятой,  или еще как-то?

Скорее, нет, не думаю.
Думаю, как об универсальном среди таких-то объектов ;-)

У Бартоша об универсальности прикольно было написано. Что это что-то сродни оценивания результатов запроса в гугле 🙂

This process is reminiscent of the way we do web searches. A query is like a pattern. A very general query will give you large recall: lots of hits. Some may be relevant, others not. To eliminate irrelevant hits, you refine your query. That increases its precision. Finally, the search engine will rank the hits and, hopefully, the one result that you’re interested in will be at the top of the list.

Читал, также Маклейна и Awodey.

дежание в курсе ради собственного понимания:

насколько я понял, категории понимают оптимальное решение как то из которого можно построить любое другое. это в целом неожиданно, как мне кажется, то есть раскрывается некая природа оптимального решения, и это в категорной терминологии универсальность

Оптимальность - это ни больше ни меньше необходимого.

построить любое другое единственным образом

как раз, чтобы было "ни больше" из фразы Данилы

Да, надо было это добавить

Вообще интуитивно кажется что единственность построения это и есть более строгое "можно построить любое другое". Или не так?

скажи фразу полностью

Формально: "для любого ... существует единственный морфизм в ...". Не строго: "любое другое можно построить из".

нет