약한 분배법칙이 유도하는 인수분해 체계

초록

본 논문은 SetMat에서 정의되는 약한 분배법칙을 Cat 위의 2-모나드 ((- )^{2})의 엄격하게 결합하지만 단위는 약한 의사대수와 연결시킨다. 이를 통해 얻어지는 직교 인수분해 체계는 특정 이중선형성(bilinearity) 조건으로 완전히 특징지어진다.

상세 분석

논문은 먼저 SetMat이라는 2-범주(객체는 집합, 1-셀은 행렬 형태의 관계, 2-셀은 행렬 원소 사이의 함수)에서 약한 분배법칙(weak distributive law)의 정의를 재정립한다. 전통적인 분배법칙은 두 모나드 사이의 강한 교환 사상을 요구하지만, 여기서는 교환 사상이 온전한 동형이 아니라 자연 변환으로만 존재하도록 완화한다. 이러한 약화는 행렬의 합성에서 발생하는 비대칭성을 포착하는 데 유리하며, 특히 행렬의 행과 열을 각각 다른 모나드 구조로 해석할 때 자연스럽다.

다음으로 저자는 2-모나드 ((- )^{2})를 Cat에 적용한다. ((- )^{2})는 범주를 두 번 곱하는 작용으로, 객체는 이중 범주, 1-셀은 이중 함자, 2-셀은 변환이다. 이 모나드의 의사대수(pseudoalgebra)는 일반적인 대수와 달리 연산이 엄격하게 결합(associative)하지만 단위(unit) 법칙은 동등성(iso) 수준에서만 만족한다. 논문은 이러한 의사대수를 “strictly associative but not strictly unital”이라고 명명하고, 이를 약한 분배법칙과 동형 사상으로 연결한다. 핵심은 SetMat의 약한 분배법칙이 ((- )^{2}) 의사대수의 구조상 연산 규칙을 그대로 반영한다는 점이다.

이 연결을 이용해 저자는 직교 인수분해 체계(orthogonal factorization system, OFS)를 구성한다. OFS는 두 클래스의 사상 ( \mathcal{E} )와 ( \mathcal{M} )이 각각 왼쪽·오른쪽 사상으로서 서로 정규화(orthogonal)하고, 모든 사상이 ( e\in\mathcal{E} )와 ( m\in\mathcal{M} )의 합성으로 분해될 수 있음을 의미한다. 논문은 특히 이 OFS가 “이중선형성(bilinearity) 성질”—즉, 행렬의 행과 열에 대한 합성 연산이 각각 선형적으로 작용하면서도 서로 교환 가능한 구조—을 만족할 때 정확히 약한 분배법칙에서 유도된다는 정리를 증명한다. 이 정리는 기존의 강한 분배법칙이 주는 OFS와는 달리, 단위가 약한 상황에서도 완전한 인수분해가 가능함을 보여준다.

마지막으로 저자는 몇 가지 예시를 제시한다. 예를 들어, 집합 사이의 관계 행렬에 대한 합성은 자연스럽게 약한 분배법칙을 만족하고, 이에 대응하는 ((- )^{2}) 의사대수는 관계 범주의 전형적인 OFS(전사와 단사)와 동형이다. 또한, 프로그래밍 언어 이론에서 효과 시스템(effect system)으로서의 모나드 조합에서도 동일한 구조가 나타나며, 이는 실용적인 응용 가능성을 시사한다. 전체적으로 논문은 약한 분배법칙과 2-모나드 의사대수 사이의 깊은 동형성을 밝히고, 이를 통해 새로운 형태의 인수분해 체계를 체계적으로 구축한다.