[논문 리뷰] Measure and distribution monads in categorical functional analysis, I: The functional distribution monad

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|2017. 01. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 3

한 줄 요약

이 논문은 일반화된 함수해석학을 위한 범주론적 프레임워크 내에서 기능적 분포 모나드를 도입하며, 강화된 대수적 이론의 교환자(commutant)를 사용하여 측도, 분포, 필터의 모나드를 구성한다. 이는 순서가 주어진 링 R에 대한 R-모듈, R-아핀 공간, R-볼록 공간과 같은 맥락에서 이러한 모나드를 특성화하며, 측도론적 구조에 대한 통합된 범주론적 기반을 제공한다.

ABSTRACT

We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional analysis, called a $ extit{functional-analytic context}$, formulated in terms of a given monad or algebraic theory $\mathcal{T}$ enriched in a closed category $\mathcal{V}$. By employing the notion of $ extit{commutant}$ for enriched algebraic theories and monads, we define the $ extit{functional distribution monad}$ associated to a given functional-analytic context. We establish certain general classes of examples of functional-analytic contexts in cartesian closed categories $\mathcal{V}$, wherein $\mathcal{T}$ is the theory of $R$-modules or $R$-affine spaces for a given ring or rig $R$ in $\mathcal{V}$, or the theory of $ extit{$R$-convex spaces}$ for a given preordered ring $R$ in $\mathcal{V}$. We prove theorems characterizing the functional distribution monads in these contexts, and on this basis we establish several specific examples of functional distribution monads.

연구 동기 및 목표

• 강화된 대수적 환경에서 측도와 분포의 모나드를 위한 일반적인 범주론적 구축을 개발하는 것.
• 강화된 대수적 이론에서의 교환자 개념을 사용하여 기능적 분포 모나드를 정의하고 특성화하는 것.
• R-모듈, R-아핀 공간, R-볼록 공간을 포함하는 카르테시안 닫힘 범주에서의 기능해석학적 맥락의 예를 제시하는 것.
• 이러한 특정 맥락에서 기능적 분포 모나드를 특성화하는 구조적 정리를 증명하는 것.
• 다양한 대수적 및 위상적 환경에서 측도와 분포 모나드를 통합하는 프레임워크를 제공하는 것.

제안 방법

• 닫힌 범주 V에서 강화된 대수적 이론 T 또는 모나드를 사용하여 기능해석학적 맥락을 형식화하는 것.
• 강화된 대수적 이론의 교환자 개념을 활용하여 기능적 분포 모나드를 정의하는 것.
• 강화된 범주 맥락에서 보편 성질의 해로 모나드를 구성하는 것.
• V에서 순서가 주어진 링 R에 대한 R-모듈, R-아핀 공간, 또는 R-볼록 공간의 이론 T인 경우에 이 프레임워크를 특수화하는 것.
• V의 카르테시안 닫힘 구조를 활용하여 함수 공간 구성과의 호환성을 확보하는 것.
• 결과로 얻어진 모나드가 주어진 맥락에서 측도와 분포에 대해 보편 성질을 만족함을 증명하는 것.

실험 결과

연구 질문

• RQ1 어떻게 통합된 범주론적 구축이 다양한 대수적 구조에서 측도와 분포의 모나드를 도출할 수 있는가?
• RQ2 강화된 대수적 이론의 교환자가 기능적 분포 모나드를 정의하는 데 어떤 역할을 하는가?
• RQ3 순서가 주어진 링 R에 대한 R-모듈, R-아핀 공간, R-볼록 공간은 어떻게 기능적 분포 모나드의 구체적 사례를 제공하는가?
• RQ4 기능적 분포 모나드의 구조적 성질은 기저가 되는 범주 V와 이론 T에 따라 어떻게 달라지는가?
• RQ5 기능해석학적 맥락에서 기능적 분포 모나드를 특성화하는 보편 성질은 무엇인가?

주요 결과

• 기능적 분포 모나드는 강화된 대수적 이론의 교환자로 구성되며, 측도와 분포 모나드를 생성하는 범주론적 메커니즘을 제공한다.
• 이 모나드는 범주론적 프레임워크를 통해 함수해석학에서 알려진 측도와 분포의 구성 방식을 통일적으로 일반화한다.
• R-모듈 또는 R-아핀 공간이 포함된 맥락에서는, 이 모나드가 범주 V에서 링 R에 대한 선형 및 아핀 분포를 포괄한다.
• 순서가 주어진 링 R에 대한 R-볼록 공간의 맥락에서는, 이 모나드가 볼록 조합과 양의 측도를 모델링하며, 확률론적 및 볼록해석학적 구조로 확장된다.
• 이 구축은 기저 변경에 대해 안정적이며, 적절한 맥락에서 극한과 쌓음의 보존 등의 주요 범주론적 성질을 유지한다.
• 이 프레임워크는 필터의 모나드를 쌍대 구축으로서 체계적으로 유도할 수 있게 하여, 수렴성과 위상학에 대한 범주론적 이해를 풍부하게 한다.