Proceedings Eighth International Conference on Applied Category Theory
تقدم هذه الورقة أعمال المؤتمر الدولي الثامن لنظرية الفئات التطبيقية (ACT2025)، الذي عُقد في جامعة فلوريدا في يونيو 2025، والذي ضم مجموعة متنوعة من المساهمات التي شملت تخصصات نظرية وتطبيقية مثل علوم الحاسوب، والحوسبة الكمومية، والكيمياء.
المؤلفون الأصليون:Amar Hadzihasanovic (Tallinn University of Technology), Jean-Simon Pacaud Lemay (Macquarie University)
تخيل مؤتمر "ليغو" ضخمًا وعالي التقنية، ولكن بدلاً من مجرد بناء القلاع، يستخدم الحاضرون مجموعة خاصة من القواعد لبناء كل شيء في الكون — من الأكواد البرمجية إلى التفاعلات الكيميائية وحتى قوانه الفيزياء.
هذه الورقة هي في الأساس كتيب التذكار الرسمي (سجل الأعمال) لـ التجمع الدولي الثامن لهؤلاء البنائين المهرة، الذي أقيم في يونيو 2025 في جامعة فلوريدا.
إليك ما حدث في هذا التجمع، مشروحاً ببساطة:
١. "المترجم العالمي"
الأداة الرئيسية التي يستخدمها هؤلاء البناؤون تسمى نظرية الفئات التطبيقية (Applied Category Theory). فكر فيها كـ "مترجم عالمي" للرياضيات والمنطق.
عادةً، يتحدث الكيميائي لغة "الكيمياء"، ويتحدث مبرمج الكمبيوتر لغة "الأكواد". وغالباً ما يجدون صعوبة في فهم بعضهم البعض.
هذا المؤتمر هو المكان الذي يلتقون فيه جميعاً ليدركوا أنه، في العمق، هم يبنون باستخدام نفس الكتل الأساسية. "نظرية الف kategori" هي القواعد التي تسمح لهم بترجمة تفاعل كيميائي إلى برنامج كمبيوتر، أو استراتيجية لعبة إلى معادلة فيزياء كمية.
٢. الحدث نفسه
كان المؤتمر مزيجاً من أنشطة مختلفة، مثل مهرجان به مناطق متنوعة:
الكلمات الرئيسية (عرضان): ألقى خبراء مشهورون خطابات حول الرؤى الشاملة لتمهيد الطريق، مثل الفنانين الرئيسيين في مهرجان موسيقي.
المسرح الرئيسي (٢٨ عرضاً): شارك باحثون عاديون أحدث مخططاتهم واكتشافاتهم.
منطقة "المتدربين" (٤ عروض): عرض الباحثون الشباب الذين انتهوا للتو من معسكر تدريبي خاص (مدرسة "Adjoint School") أعمالهم. الأمر يشبه السماح للطلاب بتقديم مشاريعهم النهائية أمام المعلمين المهرة.
تجمع المجتمع: كانت هناك أيضاً لقاءات عبر الإنترنت وحضورية حيث تبادل الجميع الأحاديث، وتبادلوا الأفكار، وخططوا لتعاونات مستقبلية.
٣. ماذا تم بناؤه؟
كانت الأشياء المعروضة في هذا الكتيب متنوعة للغاية. ولأن هذا "المترجم العالمي" قوي جداً، فقد تراوحت المواضيع بشكل واسع:
علوم الحاسوب: بناء برمجيات أفضل.
الاحتمالات: تحديد احتمالات حدوث الأشياء.
الكيمياء: فهم كيفية ترابط الجزيئات مع بعضها.
الحوسبة الكمية: العمل مع قواعد الكون الغريبة والدقيقة.
دلالات الألعاب (Game Semantics): تحليل كيفية لعب الألعاب (والحياة) استراتيجياً.
المخططات الخيطية (String Diagrams): هذه تشبه المخططات الانسيابية البصرية التي تبدو كخيوط متشابكة، وتُستخدم لرسم المنطق المعقد دون الضياع في المعادلات المملة.
٤. "كتاب التذكار"
هذا المستند تحديداً هو مجموعة لأفضل الأعمال التي عُرضت في المؤتمر.
قدم الناس أفكارهم بثلاث طرق: ملخصات مكتوبة (ملخصات موسعة)، أو عروض حية لبرمجياتهم، أو أوراق بحثية كاملة.
يحتوي هذا المجلد على الأوراق البحثية الكاملة التي تم قبولها. إنه "ألبوم الأغاني الأكثر نجاحاً" للمؤتمر، الذي يحفظ الأفكار لكي يتمكن أي شخص من قراءتها لاحقاً.
باختاًصر: هذه الورقة هي كبسولة زمنية لاجتماع عام ٢٠٢٥ حيث استخدمت عقول لامعة لغة رياضية واحدة قوية للربط بين مجالات مختلفة تماماً مثل الكيمياء، والألعاب، وفيزياء الكم. إنها تثبت أنه على الرغم من اختلاف المشكلات في الظاهر، إلا أن المنطق الكامن وراء كيفية بناء وفهم العالم غالباً ما يكون واحداً.
بناءً على النص المقدم، إليك ملخص تقني مفصل للوثيقة. ومن المهم ملاحظة أن هذه الوثيقة ليست ورقة بحثية تعرض مشكلة علمية محددة أو نتائج تجريبية، بل هي مقدمة أو تمهيد لمجلد أعمال مؤتمر (مجموعة من الأوراق البحثية) للمؤتمر الدولي الثامن لنظرية الفئات التطبيقية (ACT 2025).
لذلك، فإن "المشكلة"، و"المنهجية"، و"النتائج" الموضحة أدناه تشير إلى نطاق وتنظيم ومخرجات المؤتمر نفسه، وليس إلى دراسة موحدة واحدة.
الملخص التقني: أعمال المؤتمر الدولي الثامن لنظرية الفئات التطبيقية (ACT 2025)
1. المشكلة / السياق
تتناول الوثيقة الحاجة إلى النشر الرسمي والأرشفة لأحدث الأبحاث، والأدوات البرمجية، وتطورات المجتمع في مجال نظرية الفئات التطبيقية (ACT). وباعتبارها مجالاً متداخل التخصصات يتطور بسرعة، تتطلب نظرية الفئات التطبيقية منصة مركزية لسد الفجوة بين البنى الرياضية المجردة (نظرية الفئات) والتطبيقات الملموسة في مجالات علمية متنوعة. السياق هو النسخة الثامنة من هذا المؤتمر الدولي الكبير، الذي عُقد في جامعة فلوريدا (2-6 يونيو 2025)، والذي يعمل كملتقى حيوي للباحثين لعرض التطورات التي تتراوح من الرياضيات البحتة إلى علوم الحاسوب التطبيقية والفيزياء.
2. المنهجية (تنظيم المؤتمر وعملية التقديم)
تتحدد "المنهجية" لهذا المجلد من خلال عملية الاختيار والتنظيم الصارمة للمؤتمر:
مسارات التقديم: استخدم المؤتمر نظام تقديم متعدد المسارات لتصنيف المساهمات:
أعمال المؤتمر (Proceedings): المسار المحدد للأوراق الكاملة التي قُبلت في هذا المجلد.
معايير الاختيار: تم تنسيق المساهمات المقبولة لضمان التوازن بين التطورات النظرية البحتة والعمل التطبيقي متعدد التخصصات.
هيكل الحدث: تضمنت منهجية المؤتمر ما يلي:
كلمتان رئيسيتان (خطابات دعوة عامة).
28 عرضاً تقديمياً مساهمًا (عروض بحثية مراجعة من قبل الأقراء).
4 عروض تقديمية للباحثين الناشئين (تحديداً من مدرسة "أدجوینت" - Adjoint School، مع التركيز على نتائج الأبحاث المستمدة من منهج المدرسة).
التفاعل المجتمعي عبر اجتماعات الإنترنت والاجتماعات العامة للمجتمع.
3. المساهمات الرئيسية
المساهمة الأساسية لهذه الوثيقة هي تجميع أعمال المؤتمر المقبولة، والتي تعمل كلقطة لحالة المعرفة في نظرية الفئات التطبيقية حتى منتصف عام 2025. يجمع المجلد الأعمال عبر طيف واسع من التخصصات، مما يوضح قدرة نظرية الفئات كلغة توحيد. وتشمل المجالات الموضوعية الرئيسية التي تغطيها المساهمات ما يلي:
علوم الحاسوب: بما في ذلك دلالات الألعاب والتحقق الرسمي. يدخل في نطاق العمل:
الحوسبة الكمومية: تطبيق البنى الفئوية على المعلومات والخوارزميات الكمومية.
نظرية الاحتمالات: استخدام الأطر الفئوية لنمذجة العمليات العشوائية.
الكيمياء: تطبيق الاستدلال المخطط (Diagrammatic reasoning) على شبكات التفاعل الكيميائي.
المخططات السهمية (String Diagrams): لغة بصرية للمورفيزمات (morphisms) في الفئات المونويدية، وهي مركزية في العديد من العروض التقديمية.
التعليم/التدريب: يسلط تضمين نتائج مدرسة "أدجوینت" الضوء على التزام المجال بتدريب الجيل القادم من الباحثين.
4. النتائج
"النتيجة" المباشرة للحدث الموصوف هي نشر مجلد أعمال المؤتمر هذا.
المخرجات الكمية: يحتوي المجلد على النصوص الكاملة لتقديمات مسار أعمال المؤتمر، إلى جانب الـ 28 عرضاً تقديمياً للمساهمات و4 عروض تقديمية للباحثين الناشئين.
المخرجات النوعية: نجح المؤتمر في تسهيل تبادل الأفكار بين علماء الرياضيات البحتة والعلماء التطبيقيين، مما يؤكد فائدة نظرية الفئات في حل المشكلات المعقدة في مجالات متنوعة مثل الكيمياء والحوسبة الكمومية.
نمو المجتمع: يشير تضمين اجتماع المجتمع عبر الإنترنت وعروض مدرسة "أدجوینت" إلى التوسع الناجح لمجتمع نظرية الفئات التطبيقية، لا سيما في رعاية الباحثين الناشئين.
5. الأهمية
يكتسب مجلد أعمال المؤتمر هذا أهمية لعدة أسباب:
التوحيد بين التخصصات: يعزز دور نظرية الفئات التطبيقية كلغة "عالمية" قادرة على نمذجة الأنظمة عبر مجالات متباينة (من الفيزياء الكمومية إلى الكيمياء).
مورد للباحثين: يوفر مستودعاً مركزياً مراجعاً من قبل الأقران لأحدث الخوارزميات، والأدوات البرمجية، والأطر النظرية في هذا المجال. est. سجل تاريخي: باعتباره النسخة الثامنة من المؤتمر، فإنه يوثق نضوج نظرية الفئات التطبيقية من موضوع رياضي متخصص إلى مجتمع بحثي قوي مدفوع بالتطبيقات.
سهولة الوصول: من خلال تضمين العروض التوضيحية للبرمجيات ونتائج مدرسة "أدجوینت"، يخفض المجلد حواجز الدخول للممارسين والطلاب، مما يعزز المزيد من الابتكار.
ملاحظة حول البيانات الوصفية: تشير الوثيقة إلى arXiv:2603.07595v1 ، مما يعني تاريخاً مستقبلياً (مارس 2026) لتقديم arXiv، وهو ما يتوافق مع تواريخ المؤتمر في يونيو 2025. وهذا يشير إلى أن الوثيقة هي سجل رسمي للحدث مخصص للأرشفة والاقتباس.