ကတ်တဂိုရီသီအိုရီ: တည်းဖြတ်မှု မူကွဲများ

အရေးမကြီး citations to be added later
အရေးမကြီး stub done
စာကြောင်း ၁ -
[[File:Commutative diagram for morphism.svg|right|thumb|200px|အရာဝတ္ထု (object) ''X'' ၊ ''Y'' ၊ ''Z'' နှင့်၊ မော်ဖစ်ဇင် (morphism) ခေါ် မြား (arrow) ''f'' ၊ ''g'' ၊ ''g'' ∘ ''f'' နှင့် ထပ်တူညီ မြား (identity morphisms) သုံးခု (ပုံတွင်ပြမထား) 1<sub>''X''</sub> ၊ 1<sub>''Y''</sub> နှင့် 1<sub>''Z''</sub> ပါဝင်သည့် ကတ်တဂိုရီ (category) တစ်ခု။]]
'''ကတ်တဂိုရီ သီအိုရီ''' (category theory) သည် သင်္ချာတည်ဆောက်ပုံများကို ခြုံငုံလေ့လာသည့် ယေဘုယျ သင်္ချာသီအိုရီတစ်ခုဖြစ်သည်။
 
ကတ်တဂိုရီ သီအိုရီကို အကြမ်းဖျဉ်း ဖော်ပြရလျှင် ဤသို့ဖြစ်သည်။ သင်္ချာတွင် အစု (set)၊ အုပ်စု (group)၊ ကွင်း (ring) နှင့် မော်ဂျူး (module) စသည်ဖြင့် တည်ဆောက်ပုံ အမျိုးမျိုးရှိပြီး ၎င်းတည်ဆောက်ပုံတို့နှင့် ပတ်သက်၍ သီအိုရမ် အမျိုးမျိုးလည်း ရှိလေသည်။ ၎င်း တည်ဆောက်ပုံများအကြား တူညီသည်တို့ ရှိသကဲ့သို့ ကွဲပြားသည်များလည်း ရှိသည်။ ဤ တည်ဆောက်ပုံများကို တစ်ခုချင်းစီ လေ့လာမည့်အစား ကတ်တဂိုရီ သီအိုရီတွင် ၎င်းတို့ကို ကတ်တဂိုရီ (category) များ ဖွဲ့၍ လေ့လာ ဖော်ပြခြင်း ဖြစ်သည်။{{sfn|Hungerford|1980|p=52}} ထိုအခါ တည်ဆောက်ပုံ အမျိုးမျိုးအကြား တူညီသည့် အချက်၊ မတူညီသည့် အချက်များမှာ ကွင်းကွင်းကွက်ကွက် ပေါ်လာလေသည်။ သီအိုရမ်တစ်ခုကို ဤ ကတ်တဂိုရီ သီအိုရီသုံး၍ သက်သေပြပြီးပါက ၎င်း သီအိုရမ်ပါ သတ်မှတ်ချက်တို့နှင့် ပြည့်စုံသည့် မည်သည့် သင်္ချာတည်ဆောက်ပုံ မဆိုတွင် ၎င်းသီအိုရမ်အား ထပ်မံသက်သေပြရန် မလိုဘဲ သုံးနိုင်၏။ အနည်းဆုံး တည်ဆောက်ပုံ အသီးသီးတို့ကို ခြံငုံဖော်ပြနိုင်သည့် ဘာသာစကားတစ်ခုအဖြစ် ကတ်တဂိုရီ သီအိုရီက အသုံးဝင်သည်။{{sfn|Marquis|2014}}
 
ဤသီအိုရီကို ၁၉၄၀ ပြည့်လွန်နှစ်များတွင် [[အက္ခရာသင်္ချာသုံးတိုပေါ်လော်ဂျီ|အက္ခရာသင်္ချာသုံး တိုပေါ်လော်ဂျီ]]ဘာသာရပ် (algebraic topology) ၌ အိုင်လန်ဘဂ်အိုင်လန်ဘာ့ဂ် (Eilenberg) နှင့် မက်လိန်း (Mac-Lane) တို့က စတင်ဖော်ထုတ်၍ အသုံးပြုခဲ့သည်။{{sfn|Hungerford|1980|p=464}} နောက်ပိုင်းတွင် ဤသီအိုရီသည် သူ့သဘောသူဆောင်၍ တစတစ ကျယ်ပြန့်လာရာ ယခုအခါတွင် မျက်မှောက်ခေတ် သင်္ချာနှင့် [[သဘောတရားရေးရာ ကွန်ပျူတာသိပ္ပံ]]တို့တွင် ကတ်တဂိုရီ သီအိုရီသည် အဓိကကျသည့် အခန်းကဏ္ဍမှ ပါဝင်လာပြီး၊ ၎င်းကို သဘောတရားရေးရာ ရူပဗေဒတွင်လည်း အသုံးပြုလာကြသည်။ သိပ္ပံဘာသာရပ် အသီးသီးရှိ တည်ဆောက်ပုံအမျိုးမျိုး၏ ဘုံတူညီမှုများကို ဖော်ပြသည့် ဘာသာစကားအဖြစ် လည်းကောင်း၊ ၎င်း ဘုံတည်ဆောက်မှုများကို ပုံစံတကျ (formal) ဖြစ်အောင် ပြုလုပ်ရာတွင် လည်းကောင်း အသုံးပြုလာကြသည်။{{sfn|Spivak|2013}}
 
==အညွှန်း==
{{reflist}}
 
==ကိုးကား==
{{refbegin}}
* {{citation
| last = Hungerford
| first = Thomas W.
| title = Algebra
| publisher = Springer
| place = New York
| edition = 2nd
| year = 1980
| isbn = 978-0-387-90518-1
}}
*{{Citation
| last = Marquis
| first = Jean-Pierre
| contribution = Category Theory
| editor-last = Zalta
| editor-first = Edward N.
| title = The Stanford Encyclopedia of Philosophy
| publisher = CSLI, Stanford University
| publication-date = 2014
| contribution-url = http://plato.stanford.edu/archives/win2014/entries/category-theory/
| access-date = February 2, 2015
| edition = Winter 2014
}}
* {{Citation
| last = Spivak
| first = David
| title = 18.S996 Category Theory for Scientists, Spring 2013
| date = 2013
| work = MIT OpenCourseWare
| access-date = February 2, 2015
| url = http://ocw.mit.edu/courses/mathematics/18-s996-category-theory-for-scientists-spring-2013/#
}}
{{refend}}
 
[[Category:သင်္ချာ]]