فينفكت
في مجال نظرية الفئات الرياضية ، تُعرف FinVect (أو FdVect ) بأنها الفئة التي تكون جميع عناصرها عبارة عن فضاءات متجهة ذات أبعاد محدودة، وتكون جميع تشاكلاتها عبارة عن تطبيقات خطية بينها. [ 1 ]
ملكيات
لدى FinVect منتجان أحاديان :
- المجموع المباشر للفضاءات المتجهة ، وهو في الوقت نفسه ناتج ضرب فئوي وناتج مشترك ،
- المنتج الموتري ، مما يجعل FinVect فئة مغلقة مضغوطة .
أمثلة
شبكات الموتر هي مخططات سلاسل يتم تفسيرها في FinVect . [ 2 ]
تمثيلات المجموعات هي دوال من المجموعات ، التي تُعتبر فئات ذات كائن واحد، إلى FinVect . [ 3 ]
نماذج DisCoCat هي دوال أحادية من قواعد ما قبل المجموعة إلى FinVect. [ 4 ]
انظر أيضاً
مراجع
- ↑ هاسيغاوا، ماساهيتو؛ هوفمان، مارتن؛ بلوتكين، غوردون ( 2008)، "الفضاءات المتجهة ذات الأبعاد المحدودة كاملة للفئات المونيدية المتناظرة المتتبعة"، ركائز علوم الحاسوب ، سبرينغر، ص 367-385
- ↑ كيسنجر، أليكس (2012). صور العمليات: إعادة كتابة الرسوم البيانية الآلية للفئات المونيدية وتطبيقاتها في الحوسبة الكمومية (أطروحة). arXiv : 1203.0202 . Bibcode : 2012PhDT........17K .
- ↑ ويلتشير-غوردون، جون د. (2014-06-03). "فضاءات المتجهات المعروضة بشكل منتظم". arXiv : 1406.0786 [ math.RT ].
- ↑ دي فيليس، جيوفاني؛ ميخانيتزيديس، كونستانتينوس؛ تومي، ألكسيس (2020). "الإجابة على الأسئلة الوظيفية" . وقائع إلكترونية في علوم الحاسوب النظرية . 323 : 84-94 . arXiv : 1905.07408 . doi : 10.4204/EPTCS.323.6 . S2CID 195874109 .
فئات :
- التصنيفات في نظرية التصنيفات
- الأبعاد
- فضاءات المتجهات