တိုပိုသီအိုရီ

သင်္ချာဘာသာရပ်တွင်၊ တိုပေါ်လော်ဂျစ်ကယ် ဟင်းလင်း (topological space) တစ်ခုပေါ်ရှိ အစု ကောက်လှိုင်းစည်းများ (sheaves of sets) ဖြင့် ဖွဲ့စည်းထားသည့် ကတ်တဂိုရီ (category) ကဲ့သို့ ပြုမူသည့် ကတ်တဂိုရီ အမျိုးအစားတစ်ခုကို တိုပို (အင်္ဂလိပ်: topos, /ˈtoʊpoʊs/၊ /ˈtoʊpɒs/ သို့ /ˈtɒpɒs/; ဗဟုဝုစ် topoi, /ˈtoʊpɔɪ/၊ /ˈtɒpɔɪ/၊ သို့ toposes) ဟုခေါ်သည်။ တိုပိုများသည် အစုကတ်တဂိုရီ (category of sets) နှင့် များစွာဆင်တူပြီး၊ ပိုင်းခြေဖန်တီးခြင်း (localization) ဟူသည့် သဘောတစ်ရပ်လည်း ပိုင်ဆိုင်သည်။ တစ်နည်းဆိုရလျှင် တိုပိုများသည် အစက်-အစု တိုပေါ်လော်ဂျီ (point-set topology) ကို ယေဘုယျပြုထားခြင်း ဖြစ်သည်။^[၁] ဂရိုသန်ဒိခ် တိုပိုများ (Grothendieck topoi) ကို အက္ခရာသင်္ချာနည်းကျ ဂျီဩမေတြီ (algebraic geometry) တွင် အသုံးပြုပြီး၊ ပို၍ ယေဘုယျကျသည့် အခြေခံ တိုပိုများ (elementary topoi) ကို သင်္ချာယုတ္တိဗေဒတွင် အသုံးပြုသည်။^[၂]