গণিতের বিভিন্ন স্বতন্ত্র শাখার মধ্যে এক অদ্ভুত অভ্যন্তরীণ সাদৃশ্য লক্ষ্য করা যায়: টপোলজির কার্তেসীয় গুণফল গ্রুপ তত্ত্বের ডিরেক্ট প্রোডাক্টের হুবহু অনুরূপ; রৈখিক বীজগণিতের কার্নেল রিং তত্ত্বের কার্নেল আইডিয়ালের সাথে সমান্তরাল। ১৯৪৫ সালে সন্ডার্স ম্যাক লেন ও স্যামুয়েল এইলেনবার্গ গণিতের এই আন্তঃশৃঙ্খলা সাদৃশ্যকে নিয়মতান্ত্রিক ভাষায় প্রকাশ করতে আবিষ্কার করেন ক্যাটাগরি থিওরি (Category Theory)। গণিতবিদদের ভাষায় এটি “গণিতের গণিত”—যেখানে কোনো গাণিতিক বস্তুর ভেতরের উপাদান দেখার পরিবর্তে তার বাহ্যিক সম্পর্ক বা মরফিজম (Morphisms)-এর ওপর আলোকপাত করা হয়।
১. ক্যাটাগরি, অবজেক্ট ও মরফিজম
একটি ক্যাটাগরি $mathcal{C}$-এর দুটি প্রধান উপাদান রয়েছে:
- অবজেক্ট (Objects): গাণিতিক সত্তা গুচ্ছ $text{Ob}(mathcal{C})$।
- মরফিজম বা তীর (Morphisms): দুটি অবজেক্টের মধ্যবর্তী সম্পর্ক বা রূপান্তর $text{Hom}(A, B)$।
মরফিজমগুলোর সংযোজন বা কম্পোজিশন অবশ্যই সংযোগবিধি (associativity) এবং প্রতিটি অবজেক্টের জন্য পরিচয় মরফিজম ($1_A$) মেনে চলবে। উদাহরণস্বরূপ: $mathbf{Set}$ (সেট ও ফাংশন), $mathbf{Grp}$ (গ্রুপ ও হোমোমরফিজম), $mathbf{Top}$ (টপোলজিক্যাল স্পেস ও অবিচ্ছিন্ন চিত্রায়ন)।
২. ফাংটর ও ন্যাচারাল ট্রান্সফরমেশন
দুটি ক্যাটাগরির মধ্যবর্তী গঠন-সংরক্ষণকারী রূপান্তরকে বলা হয় ফাংটর (Functor)। একটি কোভ্যারিয়েন্ট ফাংটর $F: mathcal{C} to mathcal{D}$ একটি ক্যাটাগরির অবজেক্ট ও মরফিজমগুলোকে অপর ক্যাটাগরির সংশ্লিষ্ট অবজেক্ট ও মরফিজমে ম্যাপ করে।
দুটি সমান্তরাল ফাংটরের মধ্যবর্তী তুলনামূলক রূপান্তরকে বলা হয় ন্যাচারাল ট্রান্সফরমেশন (Natural Transformation) $eta: F Rightarrow G$। ম্যাক লেনের ভাষায়: ক্যাটাগরি ও ফাংটর আবিষ্কারের মূল উদ্দেশ্যই ছিল ন্যাচারাল ট্রান্সফরমেশনকে বিধিবদ্ধ করা।
৩. সার্বজনীন বৈশিষ্ট্য ও অ্যাডজাংশন
ক্যাটাগরি তত্ত্বে কোনো বস্তুকে তার উপাদানের বদলে সংজ্ঞায়িত করা হয় তার সার্বজনীন বৈশিষ্ট্য (Universal Property) দিয়ে। উদাহরণস্বরূপ, দুটি সেটের গুণফল $A times B$ হলো এমন একটি অবজেক্ট যা থেকে প্রজেকশন تیرগুলোর মাধ্যমে যেকোনো তৃতীয় অবজেক্ট অনন্যভাবে সম্পর্কিত হতে পারে।
দুটি বিপরীতমুখী ফাংটর $F$ ও $G$ একটি অ্যাডজাংশন (Adjunction) $F dashv G$ তৈরি করে যদি তাদের হোম-সেটগুলোর মধ্যে স্বাভাবিক দ্বিমুখী সংযোগ থাকে:
text{Hom}_{mathcal{D}}(F(C), D) cong text{Hom}_{mathcal{C}}(C, G(D))
ফ্রি অবজেক্ট নির্মাণ, টেনসর গুণফল এবং হোম-ফাংটরের মধ্যকার পরম ভারসাম্য এই অ্যাডজাংশনের মাধ্যমেই প্রকাশিত হয়।
৪. ইয়োনেডা লেমা (The Yoneda Lemma)
ক্যাটাগরি থিওরির দার্শনিক চূড়া হলো নোবুও ইয়োনেডার নামাঙ্কিত ইয়োনেডা লেমা:
text{Nat}(text{Hom}_{mathcal{C}}(A, -), F) cong F(A)
এর গভীর তাৎপর্য হলো: একটি গাণিতিক অবজেক্ট $A$-কে নিখুঁতভাবে জানার জন্য তার অভ্যন্তরীণ কাঠামোর দিকে তাকানোর কোনো প্রয়োজন নেই; মহাবিশ্বের বাকি সকল অবজেক্টের সাথে $A$-এর সম্পর্কের সার্বিক নেটওয়ার্ক ($text{Hom}(-, A)$) অবজেক্টটিকে শতভাগ অনন্যভাবে নির্ধারণ করে দেয়। বিশুদ্ধ গণিতের দর্শনে—একটি সত্তা হলো তার সম্পর্কেরই পূর্ণাঙ্গ প্রতিফলন।
