Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Awodeytokyo 20110416

465 views

Published on

Published in: Technology
  • Be the first to comment

  • Be the first to like this

Awodeytokyo 20110416

  1. 1. Steve Awodey "Category Theory" 読書会 2011/04/16
  2. 2. Q&A and others <ul><li>Monoid,Group の points はなんで 1 なの? </li><ul><li>凖同型、要素1なので単位元を移す arrow が必要 </li></ul><li>Maximal ってなに? </li><ul><li>Filter として最大のもの </li></ul><li>P35 の証明: b/ ¬ b = 0 なので、 0 になる理由を言えれば良い。
  3. 3. P36 射が決まるのと、 x を指定するのは同じ
  4. 4. Hom_Sets は P187 Yoneda embedding で再度出る </li></ul>
  5. 5. 2.3 Generalized elements
  6. 6. 2.3 Generalized elements
  7. 7. 2.3 Generalized elements
  8. 8. 2.3 Generalized elements
  9. 9. Example2.12.3
  10. 10. invariants
  11. 11. Example2.14
  12. 12. Example2.14
  13. 13. Example2.14
  14. 14. Proposition2.17
  15. 15. Proposition2.17
  16. 16. Proposition2.17
  17. 17. 2.6 Categories with products
  18. 18. 2.6 Categories with products
  19. 19. 2.6 Categories with products
  20. 20. 2.6 Categories with products
  21. 21. 2.6 Categories with products
  22. 22. To be continued... <ul><li>次回は2.8 Exercisesから </li></ul>

×