범주와 범주 논리 입문

초록

이 강의노트는 범주 이론과 범주 논리의 기본 개념을 최소한의 전제조건으로 소개한다. 집합·함수·관계에 익숙한 독자를 대상으로, 객체·사상·함수 합성·동형사상 등 핵심 정의를 예시와 연습문제로 풀어가며 설명한다. 초기 장에서는 초기·말단 객체, 곱·공곱, 한계·공한계 등을 다루고, 이어서 함자, 자연 변환, 보편성·수반, 커리-하워드 대응, 선형 논리, 모나드·코모나드까지 폭넓게 전개한다.

상세 분석

본 논문은 옥스퍼드 강의를 기반으로 한 범주 이론 입문서로, 전통적인 집합론적 사고를 “화살표” 중심의 추상적 구조로 전환하는 과정을 체계적으로 제시한다. 1.1절에서는 함수의 합성·동일사상을 범주적 관점에서 재정의하고, 단사·전사와 모노·에피를 화살표‑동등성으로 연결한다. 이는 “원소‑기반” 정의를 범주적 언어로 옮겨, 이후 전개될 일반 이론의 토대를 마련한다. 1.2절에서는 초기·말단 객체, 곱·공곱, 풀백, 동등화, 한계·공한계 등을 구체적인 예(집합, 군, 위상공간 등)와 함께 도식화한다. 특히 풀백과 동등화는 “보편적 성질”을 통해 범주 내에서의 제한조건을 명시하고, 한계·공한계는 이러한 보편적 성질의 극한 형태로서 범주 전반에 걸친 구조적 통일성을 보여준다. 1.3절의 함자는 사상 사이의 구조 보존을 정의하고, 공변·반변 함자의 차이를 통해 대수적·위상적 상황을 동시에 모델링한다. 여기서 함자의 전보존성(보존성)과 전보존성(반보존성)은 후속 장에서 수반과 보편 사상의 정의에 직접 연결된다. 1.4절에서는 자연 변환을 “함자 사이의 사상”으로 정의하고, 함자 범주(functor category)를 구성함으로써 2차원 구조를 도입한다. 이는 이후 수반·보편 사상의 기술에 필수적인 개념이다. 1.5절에서는 보편 사상과 수반을 통해 “최소·최대” 객체의 존재조건을 제시하고, 이를 한계·공한계와 연결시켜 범주론적 보편성의 핵심을 설명한다. 특히 부분 순서 집합에서의 수반은 전통적인 격자 이론과 직접적인 대응을 보여준다. 1.6절은 커리-하워드 대응을 논리·계산과 연결시켜, 단순 타입 λ-계산의 의미론을 범주론적으로 재구성한다. 여기서 논리식은 사상, 증명은 사상 사이의 동형사상으로 해석되며, 완전성 논의는 카테고리적 모델의 한계를 탐색한다. 1.7절은 선형 논리와 그 연산자를 모노이달 범주 내에서 구현하고, 곱·내적·함수형을 통해 자원 민감성을 모델링한다. 1.8절에서는 모나드와 코모나드를 수반·보편 사상의 특수 사례로 제시하고, 클레이슬리 구성과 선형 지수 함수를 통해 효과적인 계산 모델을 제공한다. 전체적으로 저자는 풍부한 연습문제와 도표를 통해 독자가 직접 손으로 계산하고 검증하도록 유도함으로써, 추상적 정의가 실제 수학·컴퓨터 과학 문제에 어떻게 적용되는지를 체감하게 만든다.