[논문 리뷰] Notes on Category Theory with examples from basic mathematics

Paolo Perrone|arXiv (Cornell University)|2019. 12. 23.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 11

한 줄 요약

이 논문은 기본 수학의 구체적 예시를 사용하여 범주론에 대한 접근성 있는 소개를 제공하며, 범주, 함자, 자연 변환, 보편 성질을 직관적이고 기초적인 관점에서 프레임화합니다. 이는 범주가 방향 그래프 위의 특정 모나드의 대수임을 보여주며, 함자가 이러한 대수의 사상들 정확히 일치함을 보여, 범주론적 구조와 대수적 모나드 이론을 통합합니다.

ABSTRACT

These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics, nor any of the disciplines where category theory is traditionally applied, such as algebraic geometry or theoretical computer science. The only knowledge that is assumed from the reader is linear algebra. All concepts are explained by giving concrete examples from different, non-specialized areas of mathematics (such as basic group theory, graph theory, and probability). Not every example is helpful for every reader, but hopefully every reader can find at least one helpful example per concept. The reader is encouraged to read all the examples, this way they may even learn something new about a different field. Particular emphasis is given to the Yoneda lemma and its significance, with both intuitive explanations, detailed proofs, and specific examples. Another common theme in these notes is the relationship between categories and directed multigraphs, which is treated in detail. From the applied point of view, this shows why categorical thinking can help whenever some process is taking place on a graph. From the pure math point of view, this can be seen as the 1-dimensional first step into the theory of simplicial sets. Finally, monads and comonads are treated on an equal footing, differently to most literature in which comonads are often overlooked as "just the dual to monads". Theorems, interpretations and concrete examples are given for monads as well as for comonads. This work, thoroughly revised and expanded, is now a book, with an extra section on monoidal categories.

연구 동기 및 목표

• 수학 및 관련 분야의 초보자를 대상으로 자동으로 완결된, 예시 중심의 범주론 소개를 제공하기 위해.
• 범주, 함자, 자연 변환, 보편 성질과 같은 기초 개념을 친숙한 수학적 구조를 통해 명확히 하기 위해.
• 범주론과 모나드 이론 사이의 깊은 연결 고리를 확립하기 위해, 범주가 방향 그래프 위의 모나드의 정확한 대수임을 보여주기 위해.
• 범주 간의 함자가 정확히 이러한 모나드 대수의 사상들임을 보여주어, 범주론적 시각과 대수적 시각을 통합하기 위해.

제안 방법

• 범주를 관계, 연산, 그리고 사상이 있는 구조적 공간의 관점으로 여러 직관적 해석을 사용하기 위해.
• 방향 그래프의 범주 위에 모나드 T를 정의하여, T-대수가 범주와 대응되도록 하기 위해.
• 그래프의 산책(walks)에 대한 대수적 구조로 합성과 항등원 공리를 표현하여 모나드 T를 구성하기 위해.
• 산책의 합성에 의해 단위 및 곱셈 공리를 검증함으로써, T-대수가 정확히 소형 범주임을 증명하기 위해.
• 모나드 구조를 포함하는 핵심 다이어그램의 교차성을 검증함으로써, 범주 간의 함자가 정확히 T-대수의 사상임을 보여주기 위해.
• 요나다 보조정리와 보편 성질을 사용하여 범주론적 구성이 표현 가능성과 표준 사상에 기반함을 입증하기 위해.

실험 결과

연구 질문

• RQ1 범주론은 어떻게 기본 수학의 예시와 직관적 해석을 유일하게 사용하여 소개될 수 있는가?
• RQ2 범주론의 공리들 뒤에 도사리는 구체적인 대수적 구조(특히 모나드)는 무엇인가?
• RQ3 범주가 모나드의 대수로 간주될 때, 함자가 정확히 범주 간의 사상인가?
• RQ4 이 모나드 프레임워크를 통해 곱, 극한, 수반 관계의 보편 성질을 유도하고 이해할 수 있는가?
• RQ5 요나다 보조정리와 표현 가능성은 이 대수적 범주 표현에서 어떻게 자연스럽게 유도되는가?

주요 결과

• 범주들은 방향 그래프의 범주 위에 정의된 모나드 T의 정확한 대수이며, T는 산책을 통해 합성과 항등원 공리를 대수적 구조로 표현한다.
• 범주 간의 함자는 정확히 T-대수의 사상들이다. 이는 모나드 구조를 유지하고 관련 다이어그램이 교차함을 보여주기 때문이다.
• 모나드 T-대수의 구조는 단위 및 곱셈 공리에 의해 항등원과 결합법칙의 합성 조건이 구성에 의해 보장된다.
• 요나다 임bedding과 보편 성질은 이 프레임워크 내에서 자연스럽게 복원되며, 표현 가능 함자가 모나드 대수의 구조를 통해 객체에 의해 대응됨을 보여준다.
• 이 구성은 범주와 함자에 대한 깔끔한 대수적 특성화를 제공하며, 범주론적 시각과 보편 대수학적 시각을 통합한다.
• 결과적으로 이는 전체 범주론적 프레임워크—극한, 수반, 보편 구성—가 모두 모나드-대수적 구조의 예로 간주될 수 있음을 보여준다.