1Q58日目

6/2(水)　晴れ

10時位に起きてからダラダラしてた。HTTについて煽られたので午後にかけてずっとやっていた。最初の方は地の文ばかりでまあある程度読めた。ホモトピーを考えたいこととか無限圏を空間と圏の中間の対象として定めたいとかなんかそんなの。その後はenriched categoryとか考えてkan complexを定義した。nerveとinner hornについての射の全射性の同値性を示す途中で悩んで結局わからなくてそのまま寝た。