kara1216_mathのなつやすみのにっき

私のなつやすみのにっきです。主に数学の話(読んだ数学書の進捗報告)をします(時々アニメと陸上の話もする)

2020-09-26から1日間の記事一覧

なつやすみ(よんじゅうろくにちめ)

8:00起床。ゼミのために色々見直す。 14:00~数学原論ゼミ。随伴関手の章を進めたが、この章はとにかく行間が多く感じた。簡単な例(ある関手が別の関手の左随伴になっている事)の確認がほぼ証明なしで載っていたがそれの確認でタブレットのノート五ページ分…