もう……六月だと……

　多分、できるのではないか、という幻想に抱かれています。でもやってみると、どこかでダメになっていそうな不安もあって、逐一チェックする勇気がわいてきません。これはいかん。というか、もう６月？なんか、時間軸が狂いだしてないか？

まだsorceは生きている！

classifying spaceの構成で、EXの場面でそう思った。BXまでいってしまうと、sorce、terget共に消えてしまって、over categoryとは呼べないのだが、EXはかろうじてsorceだけは残っている。
大丈夫、まだあせるような時間帯じゃない………

樹海

　迷った。homotopicというmorphismの関係が考えられるcategory（おそらくmodel categoryが妥当）でさらになにかstructureが与えられたcategoryを考えたとき、morphismはそのstructureを可換にするのが、まぁ、相応しい。それをhomotopy可換にしたものは、そのmorphism空間でhomotopicで閉じるように膨らませたものと同じになるときが多い。ではそれは何なのだろか？なにかうまい説明というか解釈というかがないかな。
　Moore loopとClassifying spaceをとるfunctorってadjointないよね？

活路

　活路を見出した。まさか、model categoryではなくhomotopical categoryで考えたほうがいいんじゃねぇか。そうすればおそらく、位相空間のcategoryとhomotopical equivalenceになるはず、と今日代数の授業そっちのけでDwyerとKanの本を読んでいました。

やられたぜ

　むぅ、なんとA-infty algebra、ないしspaceのcategoryがforget fulのleft adjointを持たないとは。これではmodel structureが入らない。どうする？
　なにがいけないかというのmorphism指定がA-infty mapになっているらへん。これをA-infty homまで制限すれば、きちんとadjointを持つ。Free A-infty categoryの構成もそうだったが、あれもfunctor指定がstrictという条件が入っている。これはおそらく高次homotopyが消えていることを意味している。これでは余り意味が無い。