Successfully reported this slideshow.
Upcoming SlideShare
×

# Awodeytokyo 20110416

465 views

Published on

Published in: Technology
• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

• Be the first to like this

### Awodeytokyo 20110416

1. 1. Steve Awodey &quot;Category Theory&quot; 読書会 2011/04/16
2. 2. Q&A and others <ul><li>Monoid,Group の points はなんで 1 なの？ </li><ul><li>凖同型、要素１なので単位元を移す 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>