이 개념의 출항 질문
같음을 움직여 보기4 / 8번째 항구“‘범주론’에서 묻습니다. 서로 다른 문제에서 같은 구조를 어떻게 알아볼까?”
회전과 치환, 행렬과 범주를 통해 겉모습 대신 변환 규칙과 관계 자체를 읽습니다.
이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.
한 호흡으로 이해하기
"서로 다른 수학 분야에서 같은 관계 구조를 찾아낸다." 군과 군 준동형, 위상공간과 연속함수, 집합과 함수는 모두 대상 + 합성 가능한 화살표로 볼 수 있다. 함자는 합성과 항등을 보존하며 한 범주의 구조를 다른 범주와 비교하게 한다. Haskell의 Functor·Monad 타입 클래스는 이 개념에서 영감을 받았다.
한눈에 보기
가환 다이어그램 — A→B→D와 A→C→D의 두 합성이 같다. 범주론은 이런 관계의 모양을 분야를 넘어 비교한다.
개념
대상 자체보다 대상 사이의 사상과 합성 규칙을 중심에 두어 여러 수학 분야의 공통 구조를 비교하는 언어. 1940년대 아일렌버그와 맥레인의 작업에서 출발했다.
핵심 식
함자 — 구조를 보존하는 사상
오늘날의 응용
Haskell·Scala 함수형 프로그래밍, GHC 컴파일러, 데이터베이스 스키마 변환.
MathVoyage 너머로
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.
- 위키백과
- Wolfram MathWorld
한 사람이 만든 개념이 아닙니다
역할이 다른 사람들을 따라가기
대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.
수의 렌즈
같은 개념도 수의 세계가 바뀌면 다르게 보입니다
아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.
개념의 계보
무엇을 딛고, 무엇을 열었을까?
직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.