| |||
|
|
Угу, но это же другой вопрос :) Я понятия не имею, насколько наука Карамелло осмысленна. Комментарии к ответу Марко Бенини на МО подсказывают, что там все сложно. Если честно, то это пиздец просто --- если утверждение про free filtered colimit completion конечных полей нетривиально, то я тогда не понимаю, что такое ``тривиально''. Чертова категория кон. полей простая же как три копейки. Тем не менее, эксперты замучали. Я уже видел, как ссылки на folk theorems применяются для тупого издевательства. И это мне совершенно не нравится. Добавить комментарий: |
||||