1. Steve Awodey "Category Theory" 読書会 2011/04/16

3. P36 射が決まるのと、 x を指定するのは同じ

4. Hom_Sets は P187 Yoneda embedding で再度出る

5. 2.3 Generalized elements

6. 2.3 Generalized elements

7. 2.3 Generalized elements

8. 2.3 Generalized elements

9. Example2.12.3

10. invariants

11. Example2.14

12. Example2.14

13. Example2.14

14. Proposition2.17

15. Proposition2.17

16. Proposition2.17

17. 2.6 Categories with products

18. 2.6 Categories with products

19. 2.6 Categories with products

20. 2.6 Categories with products

21. 2.6 Categories with products