옛날에 범주론이 다른 분야에 도움되냐고 묻는 글을 봤는데 도움 안 된다는 댓글밖에 없었던 거 같음
범주론이 그냥 수학의 개념들을 통합한다는 데만 의의가 있는 거? 뭔가를 증명할 때는 안 쓰임?
범주론의 정리는 매우 일반적인 환경에서 성립하는 거라 활용될 여지가 많을 거 같은데
옛날에 범주론이 다른 분야에 도움되냐고 묻는 글을 봤는데 도움 안 된다는 댓글밖에 없었던 거 같음
범주론이 그냥 수학의 개념들을 통합한다는 데만 의의가 있는 거? 뭔가를 증명할 때는 안 쓰임?
범주론의 정리는 매우 일반적인 환경에서 성립하는 거라 활용될 여지가 많을 거 같은데
하스켈
하스켈이 프로그래밍 언어 맞지? 난 범주론이 수학의 증명에서 쓰이는지 알고 싶음
옛날 댓글 봣다면서 똑같은걸 또 왜묻노 걍 공부나해라 쫌
댓글이 정확히 기억 안 나서.. 내 글에 공부나 하라는 댓글 자주 달리는데 그게 다 너냐? 그냥 공부하다가 심심해서 이런저런 글 올릴 수도 있는 거지 뭘
어디서 그런걸 본거냐
https://m.dcinside.com/board/math/5611?headid=&recommend=&s_type=all&serval=%EC%B9%B4%ED%85%8C%EA%B3%A0%EB%A6%AC
여기
있네
도움 안 된다는 댓글 있었다는 건 잘못된 기억이었네