[Recent Entries][Archive][Friends][User Info]
| Time | Text |
|---|---|
07:43 pm![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} kaledin[Link] | Koroche, knizhku ya posmotrel. Tam snachala ob'yasnyayutsya aksiomy Puppe, oni zhe aksiomy Verdier bez aksiomy oktaedra (i skazano, chto pro oktaedr pogovorim potom). Zatem dokazyvayutsya kakie-to lemmy. Stranic cherez 5-10 govoritsya: a vot ehtogo, naprimer, my dokazat' ne mozhem, i ehto skoree vsego neverno "v proizvol'noj triangulirovannoj kategorii". Poehtomu nado dobavit' eshche odnu aksiomu "aksiomu oktaedra". Dalee dokazano neskol'ko lemm dlya "triangulirovannykh kategorij s aksiomoj oktaedra". Vse ponyatno v obshchem, obychnoe izlozhenie, kak v lyubom drugom uchebnike ili appendikse. Chego ya ne ponyal, ehto kakogo cherta vy morochili mne golovu i tratili moe vremya. Mozhet sozdat'sya vpechatlenie, chto ya plokho dumayu o topologakh. Ehto neverno; dazhe i naoborot, pered nekotorymi topologami ya pryamo-taki preklonyayus' -- nu tam, iz starshikh Madsen, Goodwillie, mnogo kto na samom dele. A vot pro nekotorykh da, dumayu plokho -- kak pro pustozvonov i brekhunov. Pozdravlyayu, vy teper' v ikh chisle. Nothing personal. Prosto zhizn' ochen' korotka, zhalko minut. |
| Reply: | |