...감잡는데 도움이 되네요. 카테고리 이론 책이 없어서 이렇게라도 공부를 해야 하는데.. 둘다 화내지 않고 끈기있게 잘 가르쳐 줍니다. ㅠㅠ

저는 공장과 공정에 비유해서 내가 이해한 게 맞냐고 물어보니까 맞다고는 하는데요...

공장 : 밥상만드는 공장 (펑터,함자)

재료: 상판, 다리, 옻용액, 밥상 (카테고리)

작업: 상판+다리 조립, (연산)

         조립된 밥상에 옻칠하기 (연산)

직원: 아무 작업도 안하는 직원, (항등함수)

         조립하는 직원, (함수 f)

         옻칠하는 직원, (함수 g)

         감시하는 직원 (바인드)

공정: 한번에 밥상 한개씩 조립 -> 옻칠, (g(f))

         한꺼번에 조립 -> 한꺼번에 옻칠 (f->g)

재료나 밥상, 완성품을 카테고리라고 함

일단 재료에 아무것도 하지않고 그대로 넘기는 직원이 있어야 함.

작업 공정 두개의 결과가 똑같을 때 모나드구조라고 함(채찍이 의견),

감시직원이 정상품이 아닌 불량품을 발견해서 따로 모아 처리하게 하는 절차까지 더해져야 모나드라고 함(잼민이 의견)

공장이 이런 모나드 구조의 공정을 가지고 있을 때 펑터(함자)라고 함

이걸 맞는지 검증을 해야 하는데 책이 없네요. 인터넷에 영어자료밖에 없더라고요. ㄷㄷㄷ