Produit Fibré

- Mathematics & Logic -
Pure Mathematics Dictionary
La limite catégorique qui représente l'objet universel se mappant vers deux objets de sorte que les compositions vers un troisième objet coïncident : données B → A et C → A, le pullback B ×_A C est l'objet universel muni de projections vers B et C rendant le diagramme commutatif.