نظرية الفئات التطبيقية

📅 آخر تحديث: ١ أغسطس ٢٠٢٦
✍️ نُشر في: ١ أغسطس ٢٠٢٦
الموسوعة الحرة

نظرية الفئات التطبيقية هي فرع أكاديمي يُستخدم فيه منهج نظرية الفئات لدراسة مجالات أخرى [ 1 ] [ 2 ] [ 3 ]، بما في ذلك على سبيل المثال لا الحصر علوم الحاسوب [ 4 ] [ 5 ] ، والفيزياء (وخاصة ميكانيكا الكم [ 6 ] [ 7 ] [ 8 ] [ 9 ] )، ومعالجة اللغات الطبيعية [ 10 ] [ 11 ] [ 12 ] ، ونظرية التحكم [ 13 ] [ 14 ] [ 15 ] [ 16 ] ، ونظرية الاحتمالات والسببية . ويمكن أن يتخذ تطبيق نظرية الفئات في هذه المجالات أشكالًا مختلفة. ففي بعض الحالات، يكون الهدف هو صياغة المجال بلغة نظرية الفئات، وذلك بهدف توضيح البنية والخصائص المهمة للمجال. وفي حالات أخرى، تُستخدم الصياغة للاستفادة من قوة التجريد لإثبات نتائج جديدة أو لتطوير خوارزميات جديدة في المجال.

قائمة بنظريات الفئات التطبيقية

انظر أيضاً

المجلات:

المؤتمرات:

الكتب:

المعاهد:

برمجة:

شركات:

التمائم:

مراجع

  1. ↑ "نظرية الفئات التطبيقية" . MIT OpenCourseWare . تم الاطلاع عليه بتاريخ 20 يوليو 2019 .
  2. ↑ سبيفاك، ديفيد آي؛ فونغ، بريندان (يوليو 2019). مدخل إلى نظرية الفئات التطبيقية بقلم بريندان فونغ . doi : 10.1017/9781108668804 . ISBN 978-1-108-66880-4. S2CID 199139551 . 
  3. ↑ برادلي، تاي-داناي (2018-09-16). "ما هي نظرية الفئات التطبيقية؟". arXiv : 1809.05923v2 [ math.CT ].
  4. ↑ بار، مايكل. (1990). نظرية الفئات لعلوم الحاسوب . ويلز، تشارلز. نيويورك: برنتيس هول. ISBN 0-13-120486-6. OCLC 19126000 . 
  5. ↑ إهريج، هارتموت ؛ غروسه-رود، مارتن؛ وولتر، أوفه (1998-03-01). "تطبيقات نظرية الفئات في مجال التحديد الجبري في علوم الحاسوب". الهياكل الفئوية التطبيقية . 6 (1): 1-35 . doi : 10.1023/A:1008688122154 . ISSN 1572-9095 . S2CID 290074 .  
  6. ↑ أبرامسكي، سامسون ؛ كويك، بوب (2009)، "ميكانيكا الكم الفئوية"، دليل منطق الكم وبنى الكم ، إلسيفير، ص 261-323 ، arXiv : 0808.1023 ، doi : 10.1016/b978-0-444-52869-8.50010-4 ، ISBN  978-0-444-52869-8، S2CID 692816 
  7. ↑ دانكن، روس؛ كويك، بوب (2011). "الكميات الكمومية المتفاعلة: الجبر الفئوي والمخططات". مجلة الفيزياء الجديدة . 13 (4) 043016. arXiv : 0906.4725 . Bibcode : 2011NJPh...13d3016C . doi : 10.1088/1367-2630/13/4/043016 . S2CID 14259278 . 
  8. ↑ كويك، بوب ؛ كيسنجر، أليكس (16 مارس 2017). تصوير العمليات الكمومية: مدخل إلى نظرية الكم والاستدلال التخطيطي . ISBN 978-1-107-10422-8. OCLC 1026174191 . 
  9. ↑ هيونين، كريس؛ فيكاري، جيمي (19-11-2019). تصنيفات نظرية الكم: مقدمة . مطبعة جامعة أكسفورد. ISBN 978-0-19-873961-6.
  10. ↑ كويك، بوب ؛ صدر زاده، مهرنوش؛ كلارك، ستيفن (2011)، الأسس الرياضية لنموذج التوزيع التركيبي للمعنى ، arXiv : 1003.4394
  11. ↑ كارتساكليس، ديمتري؛ صدر زاده، مهرنوش؛ بولمان، ستيفن؛ كويك، بوب (2016)، "الاستدلال حول المعنى في اللغة الطبيعية باستخدام الفئات المغلقة المدمجة وجبر فروبينيوس"، المنطق والبنى الجبرية في الحوسبة الكمومية ، مطبعة جامعة كامبريدج، ص 199-222 ، arXiv : 1401.5980 ، doi : 10.1017/cbo9781139519687.011 ، ISBN  978-1-139-51968-7، S2CID 8630039 
  12. ↑ غريفنستيت، إدوارد؛ صدر زاده، مهرنوش؛ كلارك، ستيفن؛ كويك، بوب ؛ بولمان، ستيفن (2014)، "مساحات الجمل الملموسة لنماذج التوزيع التركيبي للمعنى"، تكنولوجيا النصوص والكلام واللغة ، سبرينغر هولندا، ص 71-86 ، arXiv : 1101.0309 ، doi : 10.1007/978-94-007-7284-7_5 ، ISBN  978-94-007-7283-0، S2CID 2411818 
  13. ↑ بونشي، فيليبو؛ سوبوسينسكي، باويل؛ زاناسي، فابيو (2021)، "دراسة استقصائية لنظرية تدفق الإشارة التركيبية" ، التقدم في البحوث في تكنولوجيا المعلومات والاتصالات. سلسلة IFIP للتقدم في تكنولوجيا المعلومات والاتصالات، المجلد 600، سبرينغر، الصفحات 29-56 ، doi : 10.1007/978-3-030-81701-5_2 ، ISBN   978-3-030-81700-8
  14. ↑ ماستر، جايد؛ بايز، جون سي. (2018-08-16). "شبكات بتري المفتوحة". arXiv : 1808.05415v4 [ math.CT ].
  15. ↑ بايز، جون سي .؛ بولارد، بليك إس. (2018). "إطار تركيبي لشبكات التفاعل". مراجعات في الفيزياء الرياضية . 29 (9): 1750028–425 . arXiv : 1704.02051 . Bibcode : 2017RvMaP..2950028B . doi : 10.1142/S0129055X17500283 . ISSN 0129-055X . S2CID 119665423 .  
  16. ↑ زارديني، جيولي. التصميم المشترك للأنظمة المعقدة: من الاستقلالية إلى أنظمة التنقل المستقبلية (أطروحة). doi : 10.3929/ethz-b-000648075 .
  17. ↑ "مقهى الفئات المتعددة" . golem.ph.utexas.edu . تم الاطلاع عليه بتاريخ 20 يوليو 2019 .