1(土) 今日はPDFで群対象の話の続き(discrete object)やGrothendieck位相の定義を読んだ。前者は全然わからない。証明が米田で集合の場合に落とし込めてそれは通常の群論、みたいなことが書いてるが自信がない。Grothendieck位相の例でopen sub.sp.を包含で…