Туынды құрал - Википедия - Derivator

Жылы математика, туындылар ұсынылған жаңа құрылым[1][2]бет 190-195 үшін гомологиялық алгебра абельдік емес гомологиялық алгебраға және оны әр түрлі жалпылауға негіздеме беру. Олар кемшіліктерді жою үшін енгізілді алынған категориялар (мысалы, конустың конструкциясының функционалды еместігі) және сонымен бірге тілді қамтамасыз етеді гомотопиялық алгебра.

Алдымен туынды құралдар енгізілді Александр Гротендик оның ұзақ жарияланбаған 1983 жылғы қолжазбасында Қуыстарды іздеу. Одан кейін оларды 1991 жылы жарияланбаған үлкен қолжазбада одан әрі дамыта түсті Les Dérivateurs шамамен 2000 парақ.

Қолжазбаны онлайн режимінде жариялау үшін Джордж Мальциниотис өңдеді. Теорияны бірнеше басқа адамдар, оның ішінде Хеллер дамытты, Франке, Келлер және Грот.

Мотивтер

Туындыларды қарастырудың уәжді себептерінің бірі - конустың құрылымымен функционалдылықтың болмауы үшбұрышталған санаттар. Туындылар бұл мәселені шеше алады және жалпы қосуды шешеді гомотопиялық колимиттер, санаттағы барлық мүмкін диаграммаларды бақылау арқылы әлсіз эквиваленттер және олардың өзара қатынастары. Эвристикалық тұрғыдан, сызбаны ескере отырып

бұл екі объектісі бар және бір жеке көрсеткі және функциясы бар категория

санатқа әлсіз-эквиваленттер класы бар және дұрыс гипотезаларды қанағаттандыратын байланысты функциясы болуы керек

мұндағы мақсатты объект әлсіз эквиваленттілікке дейін ерекше . Туынды ақпарат осы типтегі ақпаратты кодтай алады және қолдануға арналған диаграмманы ұсынады алынған категориялар және гомотопия теориясы.

Анықтама

Преериваторлар

Ресми түрде, а предериватор 2-функция

сәйкес 2 санаттан индекстер санаттар санатына. Әдетте мұндай 2-функциялар санаттарды қарастырудан туындайды қайда деп аталады коэффициенттер санаты. Мысалға, объектілері а-ға арналған индекстеу жиынтығы деп санауға болатын, сүзгіден өткен кіші санаттардың санаты болуы мүмкін сүзілген колимит. Содан кейін, сызбалардың морфизмі берілген

белгілеу арқылы

Бұл деп аталады кері кескін функция. Ынталандыратын мысалда бұл жай ғана композиция, сондықтан функция берілген байланысты функция бар . Осы 2-функцияны қабылдауға болатындығын ескеріңіз

қайда категориядағы әлсіз эквиваленттердің қолайлы класы .

Индекстеу санаттары

Бұл құрылыста қолданылатын индекстеу санаттарының бірқатар мысалдары бар

  • 2 санат ақырлы санаттар, сондықтан объектілер дегеніміз - бұл объектілер жиынтығы ақырлы жиынтықтар.
  • Реттік категория екі санатқа жатқызуға болады, мұндағы объектілер бір объектісі бар категориялар, ал функционерлер келіп реттік категориядағы көрсеткілерді құрайды.
  • Тағы бір нұсқа - шағын санаттардың санатын пайдалану.
  • Сонымен қатар, кез-келген топологиялық кеңістікпен байланысты категория болып табылады ол индекстеу категориясы ретінде қолданыла алады.
  • Мұны кез-келген топосқа жалпылауға болады , демек индекстеу категориясы негізгі сайт болып табылады.

Туындылар

Осыдан кейін туынды деп прекурсорларды аксиоматизациялайды, олар біріктірілген функционалдармен жабдықталған

қайда қатарына қалдырылды және тағы басқа. Эвристикалық тұрғыдан, кері шектерге сәйкес келуі керек, колимиттерге.

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

Сыртқы сілтемелер


  1. ^ Гротендиек. «Les Dérivateurs».
  2. ^ Гротендиек. «Стектерді іздеу». thescrivener.github.io. Мұрағатталды (PDF) түпнұсқадан 2020 жылғы 30 шілдеде. Алынған 2020-09-17.