In category with finite products, the following squares must be pullbacks, for any morphisms :
as must the naturality square for the symmetry , the product on one side or the other with an identity morphism of a pullback square, and the pasting of two pullback squares side by side. These pullbacks must be preserved by any product-preserving functor, so we call them product-absolute.