[%] unit type이니 bottom type이니 하는게

[ㅇㄹ(rerereq)]

카테고리 이론에서 나오는 개념들임?

[다믜(damhiya)]

카테고리보다 타입이론에 더 가깝지 않나

[다믜(damhiya)]

별 대단한 개념도 아님.

[ஐ(bemanisokr)]

당신은 아무튼 카테코리 유니버스에서 벗어날 수 없습니다

[나니킷(nanikit)]

일단 유닛은 타입 카테고리의 terminal object라고 설명한다고 봤음. 바텀은 모르겠다.

[ㅇㄹ(rerereq)]

타입 '카테고리' 의 개념들이라니 카테고리 넘 무섭자너;

[나니킷(nanikit)]

아니 타입이란 카테고리가 있다고 할 때의 얘기인 거임;;

[ㅇㄹ(rerereq)]

그럼 그냥 타입이론이라고 보면되나

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[ㅇㄹ(rerereq)]

타입은 값들의 모임인 집합?

[ㅇㄹ(rerereq)]

원래 개념은 다른건데 그냥 해석을 카테고리로 하면 집합을 대응시키는것?

[ㅇㄹ(rerereq)]