2021-06-04から1日間の記事一覧

1Q59日目

6/3(木) 晴れのち雨 11時に起きた。午前中は昨日わからずじまいだったinner hornについての議論を見返した。結局次元が小さいところで問題が生じそうだけど普通に包含関係が成り立っていたので何も問題がなかった。それよりも拡張したことにより得られる射が…

1Q58日目

6/2(水) 晴れ 10時位に起きてからダラダラしてた。HTTについて煽られたので午後にかけてずっとやっていた。最初の方は地の文ばかりでまあある程度読めた。ホモトピーを考えたいこととか無限圏を空間と圏の中間の対象として定めたいとかなんかそんなの。その…