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