عقب‌بر (نظریه رسته‌ها)

در شاخه ای از ریاضیات به نام نظریه رسته‌ها، یک عقب‌بَر (همچنین به آن ضرب تاری، یا ضرب مربعی هم گویند) حدی از یک نمودار شامل دو ریخت $f:X\to Z$ و $g:Y\to Z$ با هم‌دامنه مشترک است. عقب‌بر را اغلب بدین صورت می نویسند:

$P=X{\times }_{Z}Y$

و مجهز به دو ریخت طبیعی $P\to X$ و $P\to Y$ می باشد. الزاماً عقب‌بر دو ریخت $f$ و $g$ موجود نیستند، ولی اگر عقب‌برشان وجود داشت، اساساً به طور منحصر به فردی توسط این دو ریخت تعریف می شود. در بسیاری از شرایط، $X{\times }_{Z}Y$ را می توان به طور شهودی شامل یک جفت عنصر $(x,y)$ تصور نمود که در آن $x\in X$ و $y\in Y$ و $f(x)=g(x)$ می باشد. برای تعریف عمومی، خاصیت جهانی به کار می رود، این خاصیت اساساً بیان می دارد که عقب‌بر "عمومی ترین" راهیست که دو ریخت داده شده را به مربعی جابجایی می توان تکمیل نمود.

مفهوم دوگان عقب‌بر، برون‌بر می باشد.

یادداشت‌ها

• الگو:یادکرد-ویکی

منابع

• Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories الگو:Webarchive (4.2MB PDF). Originally publ. John Wiley & Sons. الگو:Isbn. (now free on-line edition).
• Cohn, Paul M.; Universal Algebra (1981), D.Reidel Publishing, Holland, الگو:Isbn (Originally published in 1965, by Harper & Row).