Faserprodukt

Der kategoriale Limes, der das universelle Objekt darstellt, das auf zwei Objekte abbildet, sodass die Kompositionen zu einem dritten Objekt übereinstimmen: gegeben B → A und C → A ist der Pullback B ×_A C das universelle Objekt mit Projektionen auf B und C, die das Diagramm kommutativ machen.