[일반] 계층화, 추상화를 다루는 수학분야 있나요?

[익명(116.34)]

운영체제나 프로그램처럼 상위의 어떤 것이 하위에 관여할 수 없으면서,

마치 내부 작동구조를 알지 않아도 되는느낌의

그런느낌의 수학분야 있나요?

[수갤러 1(121.184)]

다른 분야의 thm 을 가져다 쓰면.. 그런 느낌 날 거 같은데 ㄷㄷ

[익명(116.34)]

현재 수학도 정의가 다른 정의 사용하면서 계층화가 나타나서 그런가??

[수갤러 2(118.235)]

그거 범주론 아냐?

[익명(delete9920)]

ㄹㅇ 어째 범주론냄새가나노

[ALTa(tladud123)]

실제로 범주론은 컴퓨터공학에서 쓰인다

[익명(211.36)]

예시가 있음? ai에 쓰인단건가

[ALTa(tladud123)]

@ㅇㅇ(211.36) 나도 그쪽 전공은 아니라서 자세히는 모르지만 함수형 프로그래밍이라든지 ai붐 오기 전부터 쓰였음

[수갤러 3(211.235)]

@ALTa 프로그래밍에서 type theory를 쓰는데, type들의 범주를 많이 분석함.

[익명(211.36)]

@ALTa 내가 머신러닝 전공이라 도움 좀 받고 싶어서 그러는데 혹시 관련 문헌이 있음?