[논문 리뷰] PROPs for involutive monoids and involutive bimonoids

Daniel Graves|arXiv (Cornell University)|2020. 05. 16.

Advanced Algebra and Logic인용 수 6

한 줄 요약

이 논문은 대칭 모나드 카테고리에서의 비가환적 집합의 인벌루티브 구조와 그 반대 구조를 조합하여, 분배 법칙을 사용해 인벌루티브 모노이드와 코모노이드 구조 간의 호환성을 표현하는 $ Q = \mathcal{IF}(as) \otimes_{\mathbb{P}} \mathcal{IF}(as)^{op} $ 라는 프롭( PROP)을 제안한다. 주요 결과는 임의의 대칭 모나드 카테고리에서 $ Q $-대수의 카테고리가 인벌루티브 이반모노이드의 카테고리와 동치임을 보여주며, 이는 이들의 보편 대수적 구조를 위한 범주론적 프레임워크를 제공한다.

ABSTRACT

The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent to the category of algebras over a PROP constructed from the category of involutive non-commutative sets.

연구 동기 및 목표

• 대칭 모나드 카테고리에서 인벌루티브 이반모노이드의 보편 대수적 기술을 프롭을 통해 제공하기 위해.
• 이전의 이앙대수를 위한 프롭 연구를 확장하여 인벌루티브 구조를 통합하기 위해.
• 이중 카테고리인 이중형태의 사상들을 통해 인벌루티브 모노이드와 코모노이드 구조 간의 호환성을 수학적으로 형식화하기 위해.
• Q-대수와 인벌루티브 이반모노이드 사이의 범주 동치를 확립하여, 피라시빌리와 레이크의 접근 방식을 일반화하기 위해.

제안 방법

• 인벌루티브 비가환 집합의 카테고리에서 일반화된 쿠일렌 Q-구성법을 사용해 프롭 $ \mathcal{IF}(as) $ 를 구성한다.
• 이중형태의 사상들이 인벌루티브 모노이드와 코모노이드 연산 간의 호환 조건을 표현하는 이중 카테고리 $ \mathcal{IF}(as)_2 $ 를 정의한다.
• 분배 법칙을 통해 $ Q = \mathcal{IF}(as) \otimes_{\mathbb{P}} \mathcal{IF}(as)^{op} $ 라는 복합 프롭을 구성하여, 인벌루티브 모노이드와 코모노이드 구조 간의 호환성을 보장한다.
• 분배 법칙을 사용해 $ \mathcal{IF}(as) \otimes \mathcal{IF}(as)^{op} $ 내의 스팬의 동치류로 사상을 정의하며, 중간 객체에서의 전단사 사상으로 동치 관계를 정의한다.
• 레익의 복합 프롭 이론을 활용하여 $ Q $-대수가 정확히 인벌루티브 이반모노이드와 대응됨을 보여준다.
• 이중 카테고리 $ \mathcal{IF}(as)_2 $ 내의 기본 이중형태의 사상들이 인벌루티브 이반모노이드의 기본 공리와 정확히 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 대칭 모나드 카테고리에서 인벌루티브 이반모노이드의 구조를 보편적 프롭을 통해 기술할 수 있는가?
• RQ2 인벌루티브 비가환 집합은 어떤 역할을 하여 인벌루티브 모노이드를 위한 프롭을 생성하는가?
• RQ3 어떻게 인벌루티브 모노이드와 코모노이드 구조 간의 호환성을 프롭 프레임워크 내에서 대수적으로 표현할 수 있는가?
• RQ4 분배 법칙을 통한 복합 프롭 구성이 인벌루티브 이반모노이드의 전체 구조를 포괄할 수 있는가?
• RQ5 이중형태의 사상 카테고리와 최종적으로 유도된 프롭의 보편 성질 사이의 관계는 무엇인가?

주요 결과

• 대칭 모나드 카테고리 $ \mathbf{C} $ 에서의 $ Q $-대수의 카테고리는 $ \mathbf{C} $ 에서의 인벌루티브 이반모노이드의 카테고리와 동치이며, 이는 $ Q $ 가 이 구조에 대한 보편 프롭임을 입증한다.
• 프롭 $ Q $ 는 복합형태 $ \mathcal{IF}(as) \otimes_{\mathbb{P}} \mathcal{IF}(as)^{op} $ 로 구성되며, 분배 법칙이 인벌루티브 모노이드와 코모노이드 연산 간의 호환성을 보장한다.
• 이중 카테고리 $ \mathcal{IF}(as)_2 $ 의 기본 이중형태의 사상들은 인벌루티브 이반모노이드에 필수적인 호환 공리를 정확히 표현한다.
• 사상에 대한 동치 관계는 유지된다: $ \mathbf{C} $ 의 사상이 인벌루티브 이반모노이드의 사상임과 동시에 $ Q $-대수의 구조를 보존하는 것은 동치이다.
• 이전의 이앙대수를 위한 프롭 연구 결과를 일반화하며, $ Q_{\mathcal{V}} $, $ Q_{\mathcal{H}} $, $ Q_{\mathcal{IF}} $ 는 각각 가환, 코가환, 가환-코가환 인벌루티브 이반모노이드에 대한 보편 프롭을 제공한다.
• 증명은 기본 이중형태의 사상에 의해 유도되는 다이어그램의 교환성 검증에 기반하며, 이는 정확히 인벌루티브 이반모노이드의 공리와 일치한다.