پرش به محتوا

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

از ویکی‌پدیا، دانشنامهٔ آزاد
f یک پس‌گیر برای g است. g یک برش f است.f.

یک برش (به انگلیسی: section) در نظریه رسته‌ها، که شاخه‌ای از ریاضیات است، برابر وارون راست یک ریختار است. دوگان این مفهوم، یعنی پس‌گیری (به انگلیسی: retraction) برابر وارون چپ یک ریختار است. به زبان دیگر، اگر f : XY و g : YX ریختارهایی باشند که ترکیب آن‌ها یعنی f o g : YY برابر ریختار همانی روی Y است، آنوقت g یک برش f است، و f یک پس‌گیری g است.[۱]

پانویس[ویرایش]

  1. Mac Lane (1978, p.19).

منابع[ویرایش]

مشارکت‌کنندگان ویکی‌پدیا. «Section (category theory)». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۷ ژوئن ۲۰۲۲.