WikiDer > Yopishqoq toifasi - Vikipediya
Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)
|
Matematikada yopishqoq toifasi a toifasi qayerda itarib yuborish monomorfizmlar mavjud va ular to'plamlar toifasida bo'lgani kabi ko'proq yoki kamroq ishlaydi. Yopishqoq toifaga misol qilib yo'naltirilgan multigraflar toifasi yoki quiverlar, va yopishqoq toifalar nazariyasi nazariyasida muhim ahamiyatga ega grafik qayta yozish.
Aniqrog'i, yopishqoq toifaga quyidagi ekvivalent sharoitlardan biri mos keladi:
- C hammasi bor orqaga chekinishlar, u bilan birga itarish bor monomorfizmlar, va monomorfizmlarning itaruvchi kvadratlari ham orqaga tortish kvadratlari bo'lib, orqaga tortilish vaqtida barqaror bo'ladi.
- C barcha orqaga tortish xususiyatlariga ega, u monomorfizmlar bo'ylab surishlarga ega, ikkinchisi esa (ikki toifali) ikki toifali ning oraliq yildaC.
Agar C kichik, biz buni teng ravishda aytishimiz mumkin C barcha orqaga chekinishlarga ega, monomorfizmlar bo'ylab surishlarga ega va a-ga to'liq joylashishini tan oladi Grothendieck toposlari orqaga tortish va monomorfizmlarning itarilishini saqlab qolish.
Adabiyotlar
- Stiv Lack va Pavel Sobocinski, Yopishqoq toifalar[doimiy o'lik havola], Kompyuter fanlari turkumidagi asosiy tadqiqotlar, BRICS RS-03-31, 2003 yil oktyabr.
- Richard Garner va Stiv Lak, "Yopishtiruvchi va kvaziyezli toifalar bo'yicha aksiomalar to'g'risida", Kategoriyalar nazariyasi va qo'llanilishi, Jild 27, 2012, № 3, 27-46 betlar.
- Stiv Lack va Pavel Sobocinski, "Topozlar yopishqoq".
- Stiv etishmasligi, "Yopishqoq toifalar uchun ichki teorema", Kategoriyalar nazariyasi va qo'llanilishi, Jild 2011 yil 25-son, № 7, 180-188 betlar.
Tashqi havolalar
- Yelim toifasi yilda nLab
| Ushbu matematikaga oid maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |