>на основании качества изложения ими модельных категорий

A chego, normal'noe izlozhenie. Tam srazu skazano, chto na mnogoe ehta glava ne pretenduet, tak tipa, pokazat' chto eshche byvaet. Nu, ehto oni i delayut. Tam kstati oshibka v odnom meste, pri dokazatel'stve sushchestvovaniya minimal'nykh modelej.

>Возможно у Вас есть для этого основания, которые Вы не хотите выкладывать,

Nu vot ya ezzhu na konferencii vsyakie; naprimer, v sentyabre byla khorshaya konferenciya v Pise imeni Simpsona. Po kategoriyam. I tam model'nye kategorii byl kak by obshcheprinyatyj yazyk.

>Это то противоречие, о котором Адамс где-то писал?

Nebos'. Grazhdane schitali kakoj-to differencial v spektralke Adamsa-Novikova, u odnikh poluchilsya nol', u drugikh ne nol'. No oba dokazatel'stva byli nastl'ko nevnyatnye, chto nachalas' bujnaya kontroverziya. V principe, v alg. geometrii ili teoriii predstavlenij situaciya neslykhannaya: tam esli net vnyatnogo dokazatel'stva, to i teoremy net, ne o chem sporit'.

>а под Вашим давлением

Da ladno, kto ya takoj v samom dele. Obshchestvennoe mnenie sejchas kachnulos' v druguyu storonu; sootvestvenno, schitayu neobkhodimym zafiskrirovat' dissenting opinion.

(Reply to this) (Parent) (Thread)

v sentyabre byla khorshaya konferenciya v Pise -- я кажется начинаю понимать что Вас раздражает. Видимо это то, как используют модельные категории люди вокруг Тоена. Должен сказать, что я тоже не в восторге от того как это делается. Вот уж кто действительно любит переопределять стандартные понятия, часто не задумываясь о связи с классическими предшественниками. Конкретный пример: категорное понятие малого объекта, повсеместно используемое в модельных категориях, заменено на понятие гомотопически малого объекта. Понять это мне удалось только к концу цикла лекций, прочитанных им в прошлом году в Барселоне, когда он сказал нечто, входящее в противоречие с классической теорией, и мне пришлось уточнять. Начал это делать не Тоен, а его научный руководитель Симпсон, но последний, кажется, не довел до публикуемого состояния ни одну из работ написанных им в этой области. Тоен же вполне открыт для дискуссии и не считает свои методы истиной в последней инстанции. Проблема как раз в том, что модельные категории пока недостаточно развиты, чтобы удовлетворить запросы людей занимающихся DAG.

sootvestvenno, schitayu neobkhodimym zafiskrirovat' dissenting opinion -- ну что ж, вы существенно изменили риторику, что не может не радовать. "Уродов" оставляю на Вашей совести. То что Вас больше всего раздражает у Хови именно простота изложения, наверное послужит ему хорошей рекламой. Какой потенциальный вред таит в себе эта книжка Вы так и не объяснили.

В целом получился довольно содержательный тред, жаль что не обошлось без переходов на личности.

(Reply to this) (Parent) (Thread)

>как используют модельные категории люди вокруг Тоена

Ya tak skazhu -- esli by ne lyudi vokrug Toena i Simpsona, mne na vsyu ehtu problematiku prosto bylo by gluboko naplevat'. Malo li v mire izolirovannykh oblastej.

(Reply to this) (Parent)