а можно для дурачков, которые самостоятельно не умеют все пропуски сами находить
у нас есть что? f : Y -> Z?

ага, спасибо за эдит

Фиксанул, забыл

Было бы неплохо ещё стрелки нарисовать, как устроены.

ну если f: Х1->У, g: Х2 -> У и h: У -> Z
слева f . pi_1
снизу <id,  id>
сверху (id х id)
cправа f x g

Так же понял

Если пытаться упростить можно сообразить что Y изоморфно Y x_Y Y, пулбеку по паре айдентити

тогда получаем по пулбеку в каждом углу

ну а дальше какую-то магическую 2-категорию для пулбеков вспомнить я не знаю

Да, получилось вроде. Получается, что из каждой вершины торчит по пулбеку, и мы имеем 4 квадрата, из них 3 очевидные тождественные пуллбеки, четвертый - из унив свойств трех остальных

Спасибо!

Привет, Tito Alba! Пройди анти-спам проверку за 2 мин.

**,)

Lawvere, Schanuel, "Conceptual Mathematics: A First Introduction to Category Theory"

У меня давно есть... Всё не соберусь никак взять хостинг и выложить свою библиотеку.

На либгене второе издание.

Many readers of the first edition have expressed their wish for more detailed indication of the links between the elementary categorical material and more advanced applications. This second edition addresses that request by providing two new articles and four appendices. A new article introduces the notion of connected component, which is fundamental to the qualitative leaps studied in elementary graph theory and in advanced topology; the introduction of this notion forces the recognition of the role of functors.