범주 개요 범주(Category) 범주론(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며,…
검색 결과
"커리-하워드-람베크 대응"에 대한 검색 결과 (총 1개)
"커리-하워드-람베크 대응"에 대한 검색 결과 (총 1개)
범주 개요 범주(Category) 범주론(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며,…