Commutative squares and natural transformations