A taxonomy of categories for relations

ملخص تقني: تصنيف للفئات الخاصة بالعلاقات

بيان المشكلة
لقد أسفرت دراسة الفئات التي تجرد الخصائص الهيكلية للعلاقات عن نتاج متنوع وغني خلال العقود الأخيرة. ومع ذلك، فإن انتشار مفاهيم متشابهة ناشئة من سياقات مختلفة (مثل العروض الجبرية لرسوم المصطلحات البيانية، والاحتمالية الفئوية، والدوال الجزئية، والمنطق) أدى إلى تشتت الأدبيات. هذه البنى غالبًا ما تشترك في طبيعة أساسية ولكنها تستخدم اصطلاحات وتسميات مختلفة (مثل فئات التقييد، وفئات ماركوف، وفئات $p$، وفئات النسخ/التخلص). هذا التجزؤ يجعل من الصعب التنقل في هذا المجال وإنشاء إطار عمل واضح يربط بين هذه المفاهيم الفئوية المختلفة. علاوة على ذلك، بينما من الحقائق المعروفة أن فئة كليسلي (Kleisli category) لموناد متماثل مونويديال (symmetric monoidal monad) على فئة كارتيزية هي فئة متماثلة مونويديال، إلا أن التحقيق المنهجي في كيفية امتداد هذه الخصائص إلى السياقات المثرية (enriched contexts) وفئات الموناد الفرعية المحددة (المنتظمة/affine، والملائمة/relevant، و$gs$-monoidal) كان يفتقر إليه البحث.

المنهجية
يستخدم المؤلفون نهجًا معياريًا يعتمد على لغة الرسوم البيانية للخيوط (string diagrams) لتوحيد وتصنيف هذه البنى. تتضمن المنهجية الجوهرية ما يلي:

1. التفكيك إلى بديهيات جوهرية: يُبنى التصنيف على مفهومين أساسيين: فئات المشاركة (المجهزة بمضاعف $\nabla_X: X \to X \otimes X$) والفئات ذات النفايات (المجهزة بمركن/مفرغ $!_X: X \to I$).
2. التباين البديهي: من خلال تغيير المتطلبات المتعلقة بوجود وطبيعية (naturality) هذه الأسهم، يستنتج المؤلفون تسلسلاً هرميًا للفئات. فعلى سبيل المثال، اشتراط الطبيعية لكلا السهمين يؤدي إلى الفئات المونويديالية الكارتيزية، بينما اشتراط الوجود فقط يؤدي إلى فئات $gs$-monoidal.
3. الازدواجية والإثراء: يتم تمديد الإطار إلى البنى المزدوجة (فئات $cogs$-monoidal) وإلى السياقات المثرية بترتيب مسبق (استبدال الفئات القياسية بفئات ثنائية حيث تمثل الخلايا الثنائية ترتيبًا، مثل الاحتواء في المجموعات).
4. تحليل كليسلي: تبحث الورقة في فئات كليسلي للمونادات المتماثلة مونويديال (تحديدًا الـ affine والـ relevant والـ $gs$-monoidal) فوق هذه الفئات الأساسية. وهي تحلل كيف يتم الحفاظ على الخصائص الهيكلية للفئة الأساسية (مثل وجود الأقطار أو الإسقاطات) أو تحويلها في فئة كليسلي الناتجة.

المساهمات الرئيسية

• تصنيف موحد: توفر الورقة تصنيفًا بيانيًا شاملًا ينظم "فئات العلاقات" (بما في ذلك فئات ماركوف، وفئات التقييد، وفئات $gs$-monoidal، والفئات الكارتيزية) بناءً على وجود وطبيعية المضاعفات والمركنات.
• توصيف البنى المعروفة: تُثبت الورقة وجود مراسلات دقيقة بين التصنيف المقترح والأطر الموجودة. وتحديدًا:
  • أظهر أن فئات $gs$-monoidal المزودة بإسقاطات تتوافق تمامًا مع فئات ماركوف.
  • أظهر أن فئات $gs$-monoidal المزودة بأقطار تتوافق تمامًا مع فئات التقييد الكارتيزية.
• نتائج فئة كليسلي: يثبت المؤلفون أن فئة كليسلي لموناد ملائم (relevant) (أو affine) على فئة مزودة بأقطار (أو إسقاطات) تحتفظ بتلك الهياكل المحددة. وبناءً على ذلك، فإن فئة كليسلي لموناد $gs$-monoidal على فئة متماثلة مونويديال هي نفسها فئة متماثلة مونويديال كارتيزية.
• السياق المثرى: تمد الورقة هذه النتائج إلى الفئات المثرية بترتيب مسبق. وتُقدم الفئات الكارتيزية اللاحقة (oplax cartesian categories) (حيث تكون الأسهم قابلة للنسخ والتخلص بشكل لاحق/oplax) وتوضح أن الفئات الكارتيزية اللاحية الترتيبية التي تحقق متباينات محددة تكافئ فئات التقييد.
• البنى المزدوجة والجبرية الثنائية: تحدد الورقة وتحلل البنى المزدوجة ($cogs$-monoidal، وbigs-monoidal) وتستكشف التفاعل بين بنى المونويد والكومونويد، مع تحديد شروط الفئات الجبرية الثنائية (bialgebraic) وفروبينيوس (Frobenius).

النتائج

• الحفاظ الهيكلي: تثبت الورقة أن خاصية كون الفئة فئة $gs$-monoidal يتم الحفاظ عليها تحت عملية تكوين فئات كليسلي للمونادات المتماثلة مونويديال.
• حفظ محدد:
  • إذا كانت الفئة الأساسية $C$ تمتلك إسقاطات (هي فئة ماركوف) وكان $T$ مونادًا منتظمًا (affine)، فإن فئة كليسلي $C_T$ تمتلك إسقاطات.
  • إذا كانت $C$ تمتلك أقطارًا (هي فئة تقييد كارتيزية) وكان $T$ مونادًا ملائمًا (relevant)، فإن $C_T$ تمتلك أقطارًا.
  • إذا كانت $C$ متماثلة مونويديال كارتيزية وكان $T$ مونادًا من نوع $gs$-monoidal، فإن $C_T$ هي نفسها متماثلة مونويديال كارتيزية.
• فئات كليسلي المثرية: بالنسبة للفئات $gs$-monoidal المثرية بترتيب مسبق، إذا كانت $C$ كارتيزية لاحقة (oplax cartesian) وكان $T$ مونادًا $gs$-monoidal من النوع اللاحق (colax)، فإن فئة كليسلي $C_T$ هي أيضًا كارتيزية لاحقة.
• البدائل الكارتيزية (Cartesian Bicategories): توضح الورقة أن البدائل الكارتيزية تتوافق تمامًا مع الفئات الثنائية (bicategories) اللاحية الكارتيزية (oplax cartesian) التي تكون خاصة لاحقة (lax special) ومتصلة لاحقة (lax connected) وتحقق متباينة محددة. علاوة على ذلك، فإن فئة كليسلي لموناد $gs$-monoidal من النوع اللاحق (colax) فوق بديل كارتيزي هي نفسها بديل كارتيزي.
• الأمثلة: يتم التحقق من صحة التصنيف من خلال أمثلة متنوعة، بما في ذلك فئات الامتدادات (spans)، والعلاقات الموزونة (عبر مونادات شبه المجموعات/semiring monads)، وفئات المجموعات والعلاقات الجزئية/الكلية.

الأهمية والادعاءات
يدعي المؤلفون أن مساهمتهم الأساسية تكمن في جلب الوضوح والتنظيم لمجال مجزأ من خلال توفير نقطة مرجع موحدة ومعيارية لهذه المفاهيم ذات الصلال. ومن خلال استخدام الرسوم البيانية للخيوط ومجموعة دنيا من البديهيات، يقدمون لغة حدسية ودقيقة في آن واحد لمقارنة المفاهيم العلاقتية.

فيما يتعلق بتحليل فئة كليسلي، تشير الورقة إلى أن تمديد هذه النتائج إلى السياق المثرى (الفئات المثرية بترتيب مسبق) هو، حسب علمهم، عمل أصيل. تهدف الورقة إلى خدمة الباحثين ذوي الخبرة عبر جمع المواد ذات الصلة في مكان واحد، وتقديم مقدمة ذاتية المحتوى للمبتدئين. ويشير المؤلفون صراحةً إلى أنه بينما يذكرون باختصار تحليل التفكيك (epi-mono factorization)، فإن المقارنة المنهجية مع تقنيات التفكيك مثل القوانين التوزيعية (distributive laws) تقع خارج نطاق هذه الورقة، مما يضع نهجهم لـ $gs$-monoidal كبديل متميز وبسيط بديهيًا للنماذج القائمة على الفئات المزدوجة (double-category-based taxonomies).

تختتم الورقة بتحديد الاتجاهات المستقبلية، بما في ذلك التقديم التوليفي (combinatorial presentation) لفئات $gs$-monoidal الحرة، وتمديد النتائج إلى الفئات المتتبعة (traced categories) لأنظمة التغذية الراجعة، ومزيد من الاستقصاء حول مفاهيم بديلة لفئات ماركوف والمونادات المنتظمة (affine monads) في سياق نظرية الاحتمالات.