2016-08-19から1日間の記事一覧

Awodey『圏論』第9章（9.3節）

圏論

例9.8の『左随伴は何であろうか？』に答えてみる。 から、問題となる図式はとなるが、下はしか射が無いので、対応する上の射も一つしかない。つまり、がの始対象である。答えは、の始対象となる。その後の『この最後の例は次の一般的な事実の明白な事例であ…