Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also morphisms πX : X → Z, πY : Y → Z. Given this data, we say that an object P of C, together with morphisms p1 : P → X, p2 : P → Y is a fiber product of X with Y over Z if it satisfies the following universal property: For every object T ∈ Obj(C), and every pair of morphisms f : T → X, g : T → Y such that πX ◦ f = πY ◦ g, ther...