# Fibre product of objects in a category

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A special case of the concept of an (inverse or projective) limit. Let be a category and let and be given morphisms in . An object , together with morphisms , , is called a fibre product of the objects and (over and ) if , and if for any pair of morphisms , for which there exists a unique morphism such that , . The commutative square

is often called a universal or Cartesian square. The object , together with the morphisms and , is a limit of the diagram

The fibre product of and over and is written as

If it exists, the fibre product is uniquely defined up to an isomorphism.

In a category with finite products and kernels of pairs of morphisms, the fibre product of and over and is formed as follows. Let be the product of and with projections and and let be the kernel of the pair of morphisms . Then , together with the morphisms and , is a fibre product of and over and . In many categories of structured sets, is the subset of consisting of all those pairs for which .