2016-09-01から1日間の記事一覧

Steve Awodey の Category Theory を読む : Chapter 9

Steve Awodey の Category Theory を読む シリーズトップ 9.1 Preliminary definition Example 9.3 9.2 Hom-set definition 9.4 Order adjoints Example 9.12 9.5 Quantifiers as adjoints 9.6 RAPL Proposition 9.16 9.7 Locally cartesian closed categori…