[일반] contravariant functor 정의에 id를 id로 옮긴다는 것

[뽈펜(ieieiei)]

위 이미지는 lang 대수 책인데 contravariant functor 정의에 id를 id로 옮긴다는 말이 없음. 원래 있어야 하는데 뺀 거 맞지?

[ㅅㄲㅁㅇ(as1392)]

F(g)=F(idA dot g) = F(idA) dot F(g), 반대도 성립하니 F(idA) = idB

[뽈펜(ieieiei)]

근데 F에 surjectivity 같은 성질이 없어서 안 되지 않음? 그러니까 "모든 u in Mor(F(B), F(A)) 에 대해 f in Mor(A, B)가 있어서 F(f) = u 이다." 같은 성질이 있으면 저렇게 하면 되는데 그게 없어서 안 되는 거 같은뎅

[ㅅㄲㅁㅇ(as1392)]

아 니가 맞네 hungerford엔 니가 말한대로 되어있음 ㅇㅇ

[뽈펜(ieieiei)]

ㄳㄳ

[기괴공학도(mecheng98)]

그냥 Functor의 정의와의 공통 부분은 안 쓴 듯 - dc App

[뽈펜(ieieiei)]

ㅇ 그런 거 같음. 직전에 covariant functor 를 정의했으니까 그냥 달라지는 부분만 써 놓은 거 같다

[기괴공학도(mecheng98)]

하스켈에도 있는 개념이라 아는 체해 봄. - dc App