موضوع مقاله: همضرب (نظریه رسته‌ها) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # همضرب (نظریه رسته‌ها) | مقدمه: همضرب یا جمع رسته‌ای در نظریه رسته‌ها، یک ساختار است که به عنوان مثال می‌تواند اجتماع مجزای مجموعه‌ها، و در فضاهای توپولوژیکی همان ضرب آزاد گروه‌ها، و جمع مستقیم مدول‌ها و فضاهای برداری باشد. | ## بخش 1: همضرب (نظریه رسته‌ها) | همضرب برای خانواده‌ای از اشیاء، اساساً برابر «خاص‌ترین» شیءای است که در آن، هر شیء در خانواده یک ریختار را می‌پذیرد. این مفهوم دوگان رسته-نظری برای ضرب رسته‌ای است، که یعنی تعریف آن مشابه ضرب است اما در آن همه پیکان‌ها معکوس شده‌اند. علیرغم این تغییر بظاهر بدون ضرر در نام و نماد، همضرب گاهی (و معمولاً به صورت چشمگیر) با ضرب متفاوت است. یک شیء همضرب و نامیده می‌شود و به صورت یا یا گاهی به صورت ساده نوشته می‌شود اگر یک ریختار و موجود باشد که این ویژگی جهانی را برآورده سازد: برای هر شیء و هر ریختار و یک ریختار یکتا موجود است به این صورت که و است؛ یعنی، نمودار زیر جابجایی است: 280px|center پیکان یکتای که نمودار را جابجایی می‌سازد، را می‌توان به صورت یا نمایش داد. ریختارهای و یک‌به‌یک کانونی نامیده می‌شوند، اگرچه نیازی نیست که یک‌به‌یک یا حتی مونو باشند. | ## بخش 2: همضرب (نظریه رسته‌ها) | تعریف یک همضرب را می‌توان به خانواده دلخواهی از اشیاء که توسط اندیس‌دهی شده‌اند تعمیم داد. همضرب خانواده برابر شیء همراه با یک گردآورد از ریختارها است به این‌صورت که، برای هر شیء و هر گردآورد از ریختارها یک ریختار یکتا وجود دارد به اینصورت که است؛ یعنی، نمودار زیر برای هر جابجایی‌پذیر باشد: 160px|center همضرب برای خانواده را معمولاً توسط یا نمایش می‌دهند. مثال‌ها همضرب در رسته مجموعه‌ها به صورت ساده اجتماع مجزا است، که در آن نگاشت‌های ij همان نگاشت‌های شمول هستند. برخلاف ضرب مستقیم، همضرب در رسته‌های دیگر به صورت بدیهی به مفهوم مجموعه‌ها مبتنی نیستند، زیرا اجتماع در ارتباط با نگهداری عمل‌ها خوش‌رفتار نیست (مثلا لازم نیست که اجتماع دو گروه حتماً یک گروه باشد)، و از اینرو همضرب در رسته‌های مختلف، به صورت چشمگیری از همدیگر متفاوت‌اند. از جهت دیگر، در رسته گروه‌های آبلی (و به صورت برابر برای فضاهای برداری)، همضرب، که جمع مستقیم نام‌دارد، شامل عناصر ضرب مستقیم است که فقط تعداد متناهی عبارت غیرصفر دارد. | ## بخش 3: همضرب (نظریه رسته‌ها) | اگر به ما یک حلقه جابه‌جایی R داده شده باشد، همضرب در رسته جبر R-جابجایی، برابر ضرب تنسور است. در رسته جبر-R غیرجابجایی، همضرب برابر خارج‌قسمت جبر تنسور است (ضرب آزاد جبرهای انجمنی را ببینید). در حالت فضاهای توپولوژیکی، همضرب‌ها همان اجتماع مجزا با توپولوژی‌های اجتماع مجزا هستند؛ یعنی، یک اجتماع مجزا برای مجموعه‌های زیربنایی هستند، و در یک مفهوم بیشتر شهودی، مجموعه‌های بازی هستند که در هر فضا باز هستند. در رسته فضاهای نقطه‌ای، که مبنای نظریه هوموتوپی است، همضرب همان ضرب گوه‌ای است (که اتصال یک گردآورد از فضاها با نقاط مبنا در یک نقطه مبنای مشترک به حساب می‌آیند). علیرغم همه این عدم تشابه‌ها، هنوز در قلب کل موضوع، یک اجتماع مجزا موجود است: جمع مستقیم گروه‌های آبلی برابر گروهی است که توسط اجتماع مجزای «تقریبی» تولید شده‌است (اجتماع مجزای همه عناصر غیرصفر، همراه با یک صفر مشترک)، به صورت مشابه برای فضاهای برداری: فضای پوشش‌داده شده توسط اجتماع مجزای «تقریبی»؛ ضرب آزاد برای گروه‌ها توسط مجموعه همه حروف از یک اجتماع «تقریباً مجزا»‌ی مشابه تولید می‌شود که در آن هیچ دو عنصری از مجموعه مختلف، اجازه جابجایی ندارند. | ## جمع‌بندی | همضرب در رسته را می‌توان به صورت هم‌حد از هر تابع‌گون از یک رسته مجزای به تعریف کرد.