2012-12-03から1日間の記事一覧

ひとりアドベントカレンダー三日目

圏論で可換図式をおっかけて証明するようなときに、合成とか並べていたら読みにくくてしょうがないというのは実はみんな思ってることらしい。たまたま読んでたNorthcott「ホモロジー代数入門」に分かりやすい記法が載っていました。AとBとCを対象として、射A…