[일반] locally small category의 Hom functor 질문

[익명(106.102)]

Hom(A,-)C->Set 에서

X -> hom(A,X)의 집합이 공집합일 땐(A에서 X로 가는 사상이 없을때)

f:X->Y to Hom(A,f):hom(A,X) -> hom(A,Y)

는 구체적으로 어떻게 생각하냐

- dc official App

[ns(qwer2357)]

공집합이 정의역인 유일한 공사상이라는게 존재해서 f를 그 공사상으로 보내는 함수... 로 보통 생각할겨

[ns(qwer2357)]

뭐 그 컨벤션을 따를때 공집합이 Set에서 initial object고 원소 한개짜리 집합이 terminal element가 되도록 함. 레퍼런스 필요하면 Lang에서 그렇게 하고 있을겨

[익명(106.102)]

아하 그렇구나 땡큐댕큐 - dc App