Dmitri Pavlov - Post a comment
[Recent Entries][Archive][Friends][User Info]
|
12:31 pm
kaledin[Link] | >Гомологическая алгебра должна формулироваться и излагаться на языке модельных категорий,
V principe, bol'shego urdostva, chem yazyk model'nykh kategorij, i predstavit' sebe trudno. U Quillena ehto byla *zatychka*, tekhnicheskij sposob sformulirovat' soderzhatel'nuyu teoremu. A potom urody kanonizirovali i podkhvatili. Sporu net, zatychka udobnaya, narod do sikh por pol'zuetsya, v tom chisle i dlya soderhzatel'nykh teorem; no schitat' ehto fundamental'noj chast'yu pravil'nogo yazyka kak-to diko.
Gomologicheskaya algebra ona pro linearizaciyu voobshche-to.
Nahuj, nahuj ehti "model'nye kategorii"; tam, gde mozhno bez nikh, nuzhno bez nikh.
|
|
|
| |