４回生はリコリッシュ「結び目理論概説」． M１は Steenrod 代数の Milnor 基底．

http://jp.arxiv.org/abs/math.KT/0601185 For a long time, triangulated categories were considered too poor to allow the development more than a rudimentary theory. This vision has changed in recent years, but the fact remains that many impo…