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

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

f یک پس‌گیر برای g است. g یک برش f است.f.

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

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

منابع ویرایش

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