[%] 내가 잘못 생각한 건가?

[기괴공학도(mecheng98)]

왠지 이게 맞는 것 같음

[나니킷(nanikit)]

foo = fmap이라면 맞지 않을까. 근데 그 둘이 같을지를 알 수 있나. :=랑 F()는 무슨 뜻임? 난 논문 볼 때 처음 보는 기호 맞닥뜨리면 의욕이 떨어지던데. 근데 어디서 배울 수 있는 건지를 모르겠음.

[기괴공학도(mecheng98)]

타입 f :: * → *가 주어졌다고 하자. 임에의의 두 함수 g :: a → b, h :: b → c를 고르고 관계 A를 g로 두고 관계 B를 h . g로 두면, 순서쌍 (id, h)는 관계 A → B의 원소이다.

[기괴공학도(mecheng98)]

여기서 관계 X: x <=> x'에 대한 관계 F(X): f x <=> f x'를 함수 foo :: (x → x') → (f x → f x')로 나타내면 관계 F(A)는 foo g가 되고 관계 F(B)는 foo (h . g)가 된다.

[기괴공학도(mecheng98)]

그런데 순서쌍 (fmap, fmap)이 관계 (A → B) → (F(A) → F(B))의 원소이고 순서쌍 (id, h)가 관계 A → B의 원소이므로 (fmap id, fmap h)는 관계 F(A) → F(B)의 원소이다. 따라서 마지막 식을 얻는다.

[기괴공학도(mecheng98)]

또 틀린 듯 ㅈㅅㅈㅅ