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

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

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

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

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

یادداشت‌ها

• مشارکت‌کنندگان ویکی‌پدیا. «Pullback (Category Theory)». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۳ اوت ۲۰۱۹.

منابع

• Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. شابک ‎۰−۴۷۱−۶۰۹۲۲−۶. (now free on-line edition).
• Cohn, Paul M.; Universal Algebra (1981), D.Reidel Publishing, Holland, شابک ‎۹۰−۲۷۷−۱۲۱۳−۱ (Originally published in 1965, by Harper & Row).