الكائنات والأسهم / نظرية الفئات

القيد المؤسس

تبدأ معظم طرق فهم شيء بفتحه: مما يتكون، ماذا بداخله؟ تبدأ نظرية الفئات بمنع هذا السؤال. تقول: لا تستطيع النظر داخل كائن. لا تستطيع رؤية سوى الأسهم — الطرق الحافظة للبنية التي يتعين بها كائن على آخر. مهما أردت معرفته، يجب إعادة بنائه من نمط الأسهم وحدها.

يبدو هذا إعاقة مشلة. يتبين أنه قوة خارقة. برفض النظر إلى الداخل، تلتقط نظرية الفئات بالضبط ما هو مشترك بين أشياء مختلفة جذرياً — لأن الداخل هو ما يختلف، والأسهم هي ما تشترك فيه.

ما هي الفئة

الآلة بسيطة إلى حد الإهانة تقريباً. الفئة مجرد نوعين من الأشياء وقاعدة واحدة:

كائنات — نقاط، نتفق على تجاهل طبيعتها الداخلية.
أسهم (أو مورفيزمات) — اتصالات من كائن إلى آخر، العلاقات التي تحترم أي بنية في اللعب.
التركيب — القاعدة التي تتسلسل بها الأسهم: إذا كان هناك سهم من أ إلى ب وآخر من ب إلى ج، هناك سهم مركب مباشر من أ إلى ج.

أضف شرطين للنظافة — كل كائن له سهم هوية إلى نفسه، والتركيب لا يهتم بكيفية تجميعه — وهذا هو التعريف كله. كل شيء آخر في هذا الموضوع الشاسع مبني من نقاط وأسهم وحقيقة أن الأسهم تتركب.

لماذا التركيب هو القلب

النجم الهادئ هنا هو التركيب. هو البيان الرسمي بأن العلاقات تتسلسل — أن الاتصالات تتحد في اتصالات إضافية، بشكل متوقع. طريق من المنزل إلى المحطة وآخر من المحطة إلى العمل يتركبان في طريق من المنزل إلى العمل. دالة تغذي أخرى تتركب في دالة واحدة. سبب يؤدي إلى نتيجة تؤدي إلى نتيجة يتركب في سبب-إلى-نتيجة-نهائية.

التركيب هو ما يحول مجموعة أسهم إلى بنية لا كومة روابط مفككة. هي القاعدة التي تسمح للعلاقات المحلية بالبناء في علاقات عالمية، وهي السبب في أن فئة تستطيع وصف أي شيء له أجزاء متصلة بطرق تتحد.

الفئة هي الرياضيات الدنيا لـ«أشياء متصلة بعلاقات تتسلسل». تقريباً كل شيء كذلك، ولهذا تتحدث نظرية الفئات عن تقريباً كل شيء.

النقطة المعرفة بأسهمها

أغرب وأهم نتيجة للقيد المؤسس هي ما يحدث للكائنات. ممنوعاً من النظر إلى الداخل، تأتي لتعرف كل نقطة كلياً بأسهمها — ما يتعين عليها، ما تتعين هي عليه، كيف تتركب. يتوقف الكائن عن كونه شيئاً له محتويات ويصبح موضعاً في شبكة علاقات.

هذه ليست خسارة معلومات. هي اكتشاف أنه، لكل ما يهم بنيوياً، شبكة العلاقات كانت المعلومات. «الداخل» الذي مُنعت من النظر إليه يتبين أنه غير ذي صلة بكل سؤال بنيوي — ورهان نظرية الفئات هو أن الأسئلة البنيوية هي العميقة.

لماذا نبدأ موضوعاً هنا

لم نصل إلى هنا اعتباطاً. انتهى الموضوع السابق بملاحظة أن الجزء القابل للنقل من اتخاذ القرار كان البنية — العلاقات بين الخيارات، مجردة من الأشياء. نظرية الفئات هي ما تحصل عليه حين تأخذ هذه الملاحظة وتجعلها أساس كل شيء: رياضيات مفهومها البدائي هو السهم، العلاقة، وكائناتها مجرد نهايات.

هي أكثر المواضيع تجريداً في الرياضيات بالضبط لأنها ألقت بأكثر: احتفظت فقط بالعلاقة والتركيب، وتخلصت من كل شيء آخر. المقالات التالية تتبع ما تكشفه هذه الطرح الجذري — أولاً، أن كائناً ليس حقاً شيئاً سوى علاقاته، ادعاء له عواقب بعيدة خارج الرياضيات.