nLab
cartesian square

Cartesian square is another term for pullback diagram.

Created on September 11, 2012 09:58:53 by Urs Schreiber (82.169.65.155)