2021-11-06から1日間の記事一覧
11/5(金) 晴れ 9時に起きた。朝一で動物病院行ってきた。帰ってきてからちょっとゲームしてから昨日の続きのところを読んだ。totally disconnectedの同値性を考えるんだけどなんかcoequalizerがよくわからなくてだめ。colimitで定義されてるからそれを使いた…
11/5(金) 晴れ 9時に起きた。朝一で動物病院行ってきた。帰ってきてからちょっとゲームしてから昨日の続きのところを読んだ。totally disconnectedの同値性を考えるんだけどなんかcoequalizerがよくわからなくてだめ。colimitで定義されてるからそれを使いた…