학부생을 위한 응용 범주와 함자

이 강의노트는 ‘응용 범주와 함자’를 주제로, 다양한 전공(컴퓨터 과학, 수학, 물리, 공학, 화학, 생물학) 학생들을 위한 1학기 수준의 교재를 제시한다. 저자는 독자가 이미 익숙한 미적분과 선형대수 지식을 바탕으로, 보다 추상적인 범주론 메타언어를 단계적으로 습득하도록 설계하였다. 첫 번째 장은 서론으로, 새로운 수학적 객체를 정의할 때 그 사이의 사상을 동시에 정의하는 관행을 소개하고, 이를 ‘범주(Category)’와 ‘함자(Functor)’라는 현대 메타언어로 일반화한다는 동기를 제시한다. 두 번째 장에서는 ‘집합과 사상’에 대한 기본 개념을 다룬다. 집합론에서의 함수 정의, 전사·단사·전단사(모노모르피즘·에피모르피즘·동형사상)와 그 관계를 상세히 설명한다. 이어서 미적분학 섹션에서는 함수의 사칙연산, 합성, 연쇄법칙, 변수 치환 적분 등을 복습한다. 특히, 함수 그래프를 섬유다발의 교차단면으로 일반화한다는 언급은 이후 섹션에서 ‘펑터’가 구조를 보존하면서 다른 범주로 사상을 옮기는 직관을 제공한다. 다음으로 일반 위상학을 도입한다. 위상공간, 개방집합, 연속사상, 동형사상, 동등관계(동형동치·동상) 등을 정의하고, 위상학이 ‘동형 사상(isomorphism)’과 ‘동등관계(equivalence)’라는 범주론적 개념을 실제 공간에 적용한 사례임을 강조한다. 커버링, 콤팩트성, 연결성 등 위상학적 성질을 통해 ‘극한(limit)’과 ‘공한극한(colimit)’ 개념을 도입할 준비를 한다. 세 번째 장에서는 ‘범주’ 자체를 정의한다. 객체와 사상의 집합, 사상의 합성 법칙, 항등 사상, 그리고 결합법칙을 명시한다. 여기서 ‘동형사상’과 ‘동등관계’를 범주 내에서의 특수 사상으로 재해석한다. 네 번째 장은 ‘함자’를 다룬다. 함자는 한 범주의 객체와 사상을 다른 범주로 보존적으로 옮기는 사상이며, 함자의 정의(객체 사상, 사상 사상)와 예시(집합의 직교곱, 벡터공간의 선형 변환) 등을 제시한다. 다섯 번째 장에서는 ‘자연 변환’을 소개한다. 두 함자 사이의 사상 보존 구조를 나타내는 자연 변환의 정의와 합성 법칙을 도식화한다. 또한 ‘다자연 변환(Dinatural Transformation)’을 통해 다중 변수 함자 사이의 상호작용을 확장한다. 여섯 번째 장은 ‘극한과 공한극한’을 다룬다. 보편적 성질(universal property)을 중심으로, 곱(직교곱)과 몫(동등관계에 의한 몫공간)이 각각 극한과 공한극한의 전형적인 예임을 설명한다. 일곱 번째 장에서는 ‘어드쥬넌스(Adjunction)’를 소개한다. 좌·우 어드쥬넌트 함자 사이에 존재하는 동형 사상 관계를 정의하고, 물리·생물학적 예시인 ‘감각-운동 어드쥬넌스’를 통해 실제 과학 현상에 적용한다. 이는 추상적 어드쥬넌스 개념을 구체적 사례와 연결함으로써 학부생이 직관적으로 이해하도록 돕는다. 부록에서는 군, 반군, 환 등 기본 대수구조를 정리하고, 이를 범주론적 관점(예: 군을 객체와 군 준동형사상으로 이루어진 범주)에서 재해석한다. 전반적으로 교재는 ‘정의 → 직관적 예시 → 도식(다이어그램) → 응용’ 순으로 구성되어, 추상적 메타수학이 실제 과학·공학 문제에 어떻게 적용될 수 있는지를 일관되게 보여준다. 텍스트에는 오탈자와 레이아웃 오류가 다소 존재하지만, 핵심 개념 전달에는 큰 지장을 주지 않는다. 최소한의 전제조건(미적분·선형대수)만을 요구함으로써, 전공이 아닌 학생도 범주론을 학습하고 다양한 분야에 응용할 수 있는 기반을 제공한다.