Category Theory for Programmers 강의 노트
1.1: Motivation and Philosophy
- 21:21 practical motivation of learning category theory in terms of programming
- 37:23 abstract approach used in most of academic subjects
- 46:04 meaning of category theory
1.2: What is a category?
- 4:30 definition of category
- 6:36 barber's paradox(Russell's paradox)
- 13:25 language constrains us
- 14:58 category is like a graph
- 15:54 "how is it possible that you can have more than one arrow? Aren't they all the same?" / "no, they are different ... you just give them different names"
- 18:18 definition of 'composable'
- 27:40 meaning of "two compositions are isomorphic"
- 33:19 bottom value for infinite loop
- 35:20 definition of types in programming
- 37:45 using category theory as a abstract and simplified(high-level) model for understanding programming language(type, function)
Appendix: 참고 자료
