I teoiric na gcatagóir, is é brainse matamaitice, tarraingt siar (ar a dtugtar táirge snáithín, táirge snáithíneach, táirge snáithíneach nó cearnóg Cartesian) ná teorainn léaráide ina bhfuil dhá mhodhfhoirmiú f: X → Z agus g: Y → Z le codomain coitianta. Is minic a scríobhtar an tarraingt siar
P = X × Z Y
agus a thagann feistithe le dhá mhodhfhoirmeacha nádúrtha P → X agus P → Y. Ní gá go mbeadh dhá mhodhfhoirmiú f agus g ann, ach má dhéanann sé, tá sé sainmhínithe go hiondúil go bunúsach ag an dá mhodhfhorais. I go leor suíomhanna, is féidir smaoineamh intuitach a dhéanamh ar X × Z Y mar bheirteanna eilimintí (x, y) le x∈X agus y∈Y agus f (x) = g (y). Maidir leis an sainmhíniú ginearálta, úsáidtear maoine uilíoch, rud a léiríonn go bunúsach gurb é an tarraingt siar an bealach "is ginearálta" chun an dá mhodhfhoras a thugtar do chearnóg comaititheach a chomhlánú. Is é an coincheap dé a bhaineann leis an tarraingt siar. [Teoiric chatagóir][Matamaitic] |