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

Надо поправить диаграмму или довасить комментарий, мол, h:A'->A, f:B->B'.

g |-> f.g.h