Есть одно понятие, определение которого я знаю, но с которым я совершенно не умею обращаться.
Это расслоенное произведение, которое также называется подъёмом, ядром, обратным образом или pullback.
Это проективный придел диаграммы
![$\xymatrix{A\ar[r]^f & C & B\ar[l]_g}$ $\xymatrix{A\ar[r]^f & C & B\ar[l]_g}$](https://dxdy-02.korotkov.co.uk/f/5/5/4/5544186aedd379e9cc4b93c3f20e8cb082.png)
Подскажите, пожалуйста, задачки с использованием этого понятие, чтоб потренироваться.