Steve Awodey の Category Theory を読む シリーズトップ 7.5 Examples of natural transformations Exercise 9 7.6 Exponentials of categories Proposition 7.13 7.8 Monoidal categories Exercise 18 7.9 Equivalence of categories Proposition 7.26 7.1…

はじめに Errata list page 53 line 5 page 74 line -3 page 77 line -7 page 114 line 6 page 118 line -4 page 157 line 14 page 159 line -12 page 183 line 6 page 189 line -6 page 191 line -6 page 213 line -13 page 266 line -18 page 276 line 14 …

Steve Awodey の Category Theory を読む シリーズトップ 6.2 Cartesian closed categories Example 6.5 is an CPO is -continuous is -continuous if is so Example 6.6 6.3 Heyting Algebras Definition 6.10 6.7 Variable sets Exercise 15(a) Exercise 1…