[논문 리뷰] The nucleus of an adjunction and the Street monad on monads

Duško Pavlović, Dominic J. D. Hughes|arXiv (Cornell University)|2020. 04. 15.

Topological and Geometric Data Analysis참고 문헌 60인용 수 5

한 줄 요약

이 논문은 어떤 접합(adjunction)이라도 엄격히 등幂적이고 자기 dual인 핵심 핵심 접합으로 해소하는 핵심 구조를 제안하며, 원래의 접합에 숨겨진 개념을 드러낸다. 이 구조를 2-범주로 확장하여, 모나드에 대해 엄격히 등幂적인 Street 모나드를 정의함으로써 추상 범주론과 데이터 분석 및 머신러닝 분야의 구체적 응용을 통합한다.

ABSTRACT

An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, representation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases. [snip] In his seminal early work, Ross Street described an adjunction between monads and comonads in 2-categories. Lifting the nucleus construction, we show that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad. A dual treatment achieves the same for comonads. This uncovers remarkably concrete applications behind a notable fragment of pure 2-category theory. The other way around, driven by the tasks and methods of machine learning and data analysis, the nucleus construction also seems to uncover remarkably pure and general mathematical content lurking behind the daily practices of network computation and data analysis.

연구 동기 및 목표

• 두 범주가 접합을 통해 상호로 완전히 결정되는 핵심 접합을 정의하고 특성화하기.
• 모든 접합이 엄격히 등幂적인 핵심 접합으로 고유하게 해소될 수 있음을 보이기.
• 핵심 구조를 2-범주로 확장하여, 특히 Ross Street가 기술한 모나드와 코모나드 사이의 접합에 대해 엄격히 등幂적인 Street 모나드를 정의하기.
• 이 구조가 실용적인 데이터 분석과 네트워크 계산 뒤에 숨겨진 깊은 수학적 구조를 어떻게 드러내는지 밝히기.
• 추상적 2-범주 이론과 머신러닝 분야의 응용 계산 실천 간의 공식적 다리를 구축하기.

제안 방법

• 모든 접합을 엄격히 등幂적인 해소를 통해 핵심 접합으로 매핑하는 핵심 구조를 정의하기.
• 접합의 구조를 이용해 두 범주 간에 공통으로 유지되는 최소한의 개념을 식별하기.
• 특히 Ross Street가 기술한 모나드와 코모나드 사이의 접합을 다루는 2-범주적 맥락으로 핵심 구조를 확장하기.
• Street 접합에 핵심 구조를 적용하여 모나드에 대한 Street 모나드를 정의하기.
• 결과로 얻어진 Street 모나드가 엄격히 등幂적임을 증명하기 — 즉, 두 번 적용해도 한 번 적용한 결과와 동일함.
• 코모나드에 대해 이와 유사한 구조를 이중화하여, 모나드와 코모나드에 대한 처리의 대칭성을 보여주기.

실험 결과

연구 질문

• RQ1 어떻게 모든 접합이 엄격히 등幂적인 핵심 접합으로 고유하게 해소될 수 있는가?
• RQ2 핵심 구조는 주어진 접합 뒤에 은폐된 개념을 어떻게 드러내는가?
• RQ3 핵심 구조는 2-범주적 맥락으로 어떻게 확장되며, 특히 모나드와 코모나드 사이의 Street 접합 맥락에서 어떻게 작용하는가?
• RQ4 모나드에 대한 Street 모나드의 성격은 무엇이며, 왜 엄격히 등幂적인가?
• RQ5 이 구조는 실용적인 데이터 분석과 네트워크 계산에서 일반적인 수학적 원리를 어떻게 드러내는가?

주요 결과

• 모든 접합은 엄격히 등幂적인 핵심 접합으로 고유하게 해소되며, 이는 해소 과정이 한 번 적용된 후에 안정화됨을 의미한다.
• 접합의 핵심은 얽힌 두 범주 간에 암묵적으로 공유되는 핵심 개념을 포괄하며, 특이값 분해에서의 표준 기저와 유사하다.
• 핵심 구조는 2-범주 맥락으로 확장되어, 모나드의 핵심 구조를 추출하는 엄격히 등幂적인 Street 모나드를 도출한다.
• 코모나드에 대한 이중 구조는 동일한 구조적 통찰을 제공하며, 이 틀에서 모나드와 코모나드 간의 대칭성을 보여준다.
• 결과로 얻어진 모나드에 대한 Street 모나드는 엄격히 등幂적일 뿐 아니라 추상 2-범주 이론 뒤에 숨겨진 깊이 있는 구체적 수학적 구조를 드러낸다.
• 이 구조는 네트워크 계산과 데이터 변환과 같은 머신러닝 및 데이터 분석에서 사용되는 개념들에 대해 공식적이고 일반적이며 수학적으로 순수한 기반을 제공한다.