WikiDer > Қарама-қарсы категория

Жылы категория теориясы, филиалы математика, қарама-қарсы категория немесе қос категория C^оп берілген санат C қалпына келтіру арқылы қалыптасады морфизмдер, яғни әр морфизмнің қайнар көзі мен мақсатын ауыстыру. Реверсті екі рет жасау бастапқы категорияны береді, сондықтан қарама-қарсы категорияға қарама-қарсы бастапқы категорияның өзі болады. Рәміздерде, ${ displaystyle (C ^ { text {op}}) ^ { text {op}} = C}$.

Мысалдар

• Мысал а-дағы теңсіздіктер бағытын өзгертуден шығады ішінара тапсырыс. Сондықтан егер X Бұл орнатылды және ≤ ішінара реттік қатынас, біз partial жаңа реттік қатынасты анықтай аламыз^оп арқылы

х ≤^оп ж егер және егер болса ж ≤ х.

Жаңа тәртіпті әдетте ≤ қосарланған реті деп атайды және көбінесе ≥ деп белгілейді. Сондықтан, екі жақтылық тәртіп теориясында маңызды рөл атқарады және кез-келген таза теориялық тұжырымдаманың дуалы бар. Мысалы, бала / ата-ана, ұрпақ / ата-баба, шексіз/супремум, төмен орнатылған/ренішті, идеалды/сүзгі Бұл тәртіп теоретикалық екі жақтылық өз кезегінде қарама-қарсы категорияларды құрудың ерекше жағдайы болып табылады, өйткені кез-келген реттелген жиынтық болуы мүмкін түсінді категория ретінде.

• Берілген жартылай топ (S, ·), Қарама-қарсы жартылай топты әдетте (S, ·)^оп = (S, *) қайда х*ж ≔ ж·х барлығына х,ж жылы S. Сонымен, жартылай топтар үшін де екіұштылық қағидасы бар. Дәл сол құрылыс топтар үшін де жұмыс істейтіні белгілі сақина теориясықарама-қарсы сақина беру үшін сақинаның мультипликативті жартылай тобына қолданылатын жерде де. Бұл процесті моноидқа жартылай топты аяқтау арқылы сипаттауға болады сәйкес қарама-қарсы категорияға, содан кейін құрылғыны сол моноидтан алып тастауға болады.
• Санаты Буль алгебралары және логикалық гомоморфизмдер болып табылады балама санатына қарама-қарсы Тас кеңістіктер және үздіксіз функциялар.
• Санаты аффиндік схемалар болып табылады балама санатына қарама-қарсы ауыстырғыш сақиналар.
• The Понтрягиннің екіұштылығы санаты арасындағы эквиваленттілікпен шектеледі ықшам Хаусдорф абель топологиялық топтар және (дискретті) абель топтары санатына қарама-қарсы.
• Гельфанд-Неймарк теоремасы бойынша, локализацияланатын категория өлшенетін кеңістіктер (бірге өлшенетін карталар) ауыстырымдылық категориясына тең Фон Нейман алгебралары (бірге қалыпты біртұтас гомоморфизмдері * -алгебралар).^[1]

Қасиеттері

Қарама-қарсы консервілер:

${ displaystyle (C times D) ^ { text {op}} cong C ^ { text {op}} times D ^ { text {op}}}$ (қараңыз өнім санаты)

Қарама-қарсы консервілер функционалдар:

${ displaystyle ( mathrm {Funct} (C, D)) ^ { text {op}} cong mathrm {Funct} (C ^ { text {op}}, D ^ { text {op}} )}$^[2][3] (қараңыз функциялар санаты, қарама-қарсы функция)

Қарама-қарсы тілімдерді сақтайды:

${ displaystyle (F downarrow G) ^ { text {op}} cong (G ^ { text {op}} downarrow F ^ { text {op}})}$ (қараңыз үтір санаты)

Сондай-ақ қараңыз

• Қос объект
• Қос (категория теориясы)
• Дуальдылық (математика)
• Бірлескен функция
• Қарама-қайшы функция
• Қарама-қарсы функция

Әдебиеттер тізімі

• Қарама-қарсы категория жылы nLab
• Данилов, В.И. (2001) [1994], «Қос категория», Математика энциклопедиясы, EMS Press
• Мак Лейн, Сондерс (1978). Жұмысшы математикке арналған санаттар (Екінші басылым). Нью-Йорк, Нью-Йорк: Спрингер Нью-Йорк. б. 33. ISBN 1441931236. OCLC 851741862.
• Аводи, Стив (2010). Санаттар теориясы (2-ші басылым). Оксфорд: Оксфорд университетінің баспасы. бет.53–55. ISBN 978-0199237180. OCLC 740446073.