11/9(火) 晴れ 10時に起きた。午前中はゲームした。ぼんやりとpro objectについて考えていたけど結局の所やっぱりちゃんと定義を考えないといけないことがわかった。 ちゃんと読んでみるとそれはそうという感じがしてきた。もともとの圏で逆極限が取れるかわ…

11/8(月) 晴れ 何やってたか覚えてない。午前中は授業を受けて午後はゲームをした後数学してバイトに行った。pro-etaleの合成がまたpro-etaleになることを示したいんだけどそのためにpro-systemというかpro-objectを考えないといけなくてそういう圏の言葉知…