[%] 타입이론, 카테고리이론 왤케 빡세냐? 쉽게 정리된거 없음?

[익명(118.32)]

예제도 하스켈이고 모피즘 나오고 벽옴

코틀린으로 된거 없나

[야딩조무사(cir6174)]

https://youtu.be/I8LbkfSSR58
이거
정주행 괜찮더라 - dc App

[익명(61.80)]

온전히 이해하려면 수학 빡세게 해야 함. 그래서 적당히 뭉개고 가야 함. 위에 링크도 대충 그렇게 뭉갠거임.

[익명(223.62)]

너가보던거 링크좀

[익명(223.39)]

카테고리는 굳이 따로 보려면 수학과 애들이 보는 대수학 책 보는게 차라리 빠름