بروریختی

در نظریه رسته‌ها، یک بروریختی یک پیکان f: X → Y است که قانون حذف از سمت راست بر آن صادق است، به این معنا که برای هر دو ریخت g_۱, g_۲: Y → Z, ${\displaystyle g_{1}\circ f=g_{2}\circ f\Rightarrow g_{1}=g_{2}}$.

بروریختی‌ها، مشابه رسته توابع پوشا هستند (و در رسته مجموعه‌ها، این مفهوم منطبق بر توابع پوشاست) اما ممکن است که این دقیقاً در همه جا برقرار نباشد؛ به عنوان مثال، تابع شمول ${\displaystyle \mathbb {Z} \to \mathbb {Q} }$ یک بروریختی حلقه ایست. دوگان یک بروریختی، یک تک‌ریختی است. (یعنی یک بروریختی در یک رسته ی C، یک تک‌ریختی در رسته دوگان C^op است).

بسیاری از مؤلفان در جبر مجرد و جبر جهانی، یک بروریختی را به سادگی بعنوان یک همریختی بِرویِ یا پوشا تعریف می‌کنند. هر بروریختی در این نگاه جبری، یک بروریختی در منظر نظریه رسته هاست، اما عکس این مسئله در همهٔ رسته‌ها برقرار نیست. در این مقاله اصطلاح «بروریختی»، در چارچوب نظریه رسته‌های فوق استفاده خواهد شد. برای مطالعه بیشتر در این باره، مراجعه کنید به بخش اصطلاحات در پایین.

مثال

هر ریخت در یک رسته سفت که تابع زیربنایی اش پوشاست، یک بروریختی است. در بسیاری از رسته‌های سفت مورد توجه، عکس این قضیه نیز درست است. برای مثال در رسته‌های زیر، بروریختی‌ها دقیقاً همان ریخت‌هایی اند که روی مجموعههای زیربنایی، پوشا هستند:

• Set، از مجموعهها و توابع. برای اثبات اینکه هر بروریختی f: X → Y در Set پوشاست، آن را هم با تابع مشخصه ‏ g_۱: Y → {۰٬۱} ‎ از تصویر‏ f(X)‎ و هم نگاشت‏ g_۲: Y → {۰٬۱} ‎ که برابر ثابت ۱ است، ترکیب می‌کنیم.
• Rel، از مجموعه‌ها با روابط دوتایی و توابع حافظ رابطه. در اینجا می‌توانیم همان اثباتِ Set را مورد استفاده قرار دهیم، در صورت تجهیز {۰٬۱} با رابطه {۰٬۱}×{0,1}.
• Grp، از گروهها و همریختی‌های گروهی. این نتیجه که هر بروریختی در Grp پوشاست، دستاورد اتو شرایر است (او در واقع بیش از این را ثابت کرد؛ اینکه هر زیرگروه یک تساوی ساز است، با استفاده از ضرب آزادبا یک زیرگروه ادغام شده)؛ اثباتی مقدماتی را می‌توان در (Linderholm 1970) یافت.

جستارهای وابسته

• فهرست مباحث نظریه رسته‌ها