Теория категорий в картинках

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