nLab
cartesian square

Cartesian square is another term for pullback diagram.