약한 호프 대수의 탄카 재구성

본 논문은 “Tannaka Reconstruction of Weak Hopf Algebras in Arbitrary Monoidal Categories”라는 제목 아래, 두 개의 주요 목표를 설정한다. 첫 번째는 Cockett와 Seely가 제안한 그래픽 계산법을 단조 함자(monidal functor)와 Frobenius 구조에 맞게 변형·확장하는 것이며, 두 번째는 이러한 변형된 그래픽 체계를 이용해 일반적인 단조 카테고리 A와 충분히 완비하거나 충분히 공완전한 브레이디드 자율 카테고리 B 사이의 분리 가능한 Frobenius 함자 F: A → B에 대해 Tannaka 재구성 공식을 적용함으로써, B 안에서 약한 바이알제브라와 약한 호프 대수를 얻는 방법을 제시하는 것이다. 1. **그래픽 계산법의 변형** 기존 Cockett‑Seely 그래픽은 단조 함자와 강한 모노이달 구조를 시각화하는 데 초점을 맞추었다. 저자들은 이를 Frobenius 함자와 그 분리 가능성(separability)까지 포괄하도록 확장한다. 구체적으로, 객체를 원으로, 사상을 선으로, 텐서곱을 병렬 연결로, 그리고 Frobenius 연산(곱·협동·단위·보조)를 각각 교차점과 면으로 나타낸다. 분리 가능한 Frobenius 구조는 “분리 사상”과 “재결합 사상”이 서로 역함수 관계에 있음을 그래픽적으로 보여주며, 이는 이후 약한 바이알제브라의 곱·협동이 약한 형태로 만족하도록 하는 핵심 전제이다. 2. **분리 가능한 Frobenius 함자와 재구성 공식** 논문은 먼저 A가 단조 카테고리이고, B가 브레이디드 자율 카테고리이며, 충분히 완비(모든 작은 한계 존재) 혹은 충분히 공완전(모든 작은 공한계 존재)하다고 가정한다. 그런 다음, 분리 가능한 Frobenius 함자 F가 주어지면, 전통적인 Tannaka 재구성에서 사용되는 “내적”(coend) \